Две переменные a и b с типами Ta и Tb имеют одинаковый тип, если
Ta и Tb оба обозначены одним и тем же идентификатором типа, или
Ta объявлен равным Tb в объявлении типа вида Ta = Tb, или
a и b появляются в одном и том же списке идентификаторов переменных, полей записи или объявлении формальных параметров и не являются открытыми массивами.