Типы T1 и T2 оспадают, если они имеют одно и тоже имя, или определены в секции type в виде T1=T2. На пример, в описаниях:

type
  IntArray = array [1..10] of integer;
  IntArrayCopy = IntArray;
var
  a1: IntArray;
  a2: IntArrayCopy;
  b1,c1: array [1..15] of integer;
  b2: array [1..15] of integer; 
begin
end.

переменные a1 и a2 и переменные b1 и c1 имеют один и тот же тип, а переменные b1 и b2 - разные типы.