Совместимость по присваиванию

Выражение e типа Te совместимо по присваиванию с переменной v типа Tv, если выполнено одно из следующих условий:

Te и Tv - одинаковые типы;

Te и Tv - числовые типы и Tv поглощает Te;

Te и Tv - типы запись, Te есть расширение Tv, а v имеет динамический тип Tv;

Te и Tv - типы указатель и Te - расширение Tv;

Tv - тип указатель или процедурный тип, а e - NIL;

Tv - ARRAY n OF CHAR, e - строковая константа из m символов и m < n;

Tv - процедурный тип, а e - имя процедуры, чьи формальные параметры совпадают с параметрами Tv.