> -- GameHunter писал(а):
> На практике же это приводит к тому, что 32-разрядное целое мржно присвоить 4-байтной вещественной переменной, а такое присваивание идёт с потерей точности.
Округление. Теряем наименее значащие разряды, а не все (в тех случаях, когда запрещено).
> -- GameHunter писал(а):
> Также потеря информации происходит при присваивании записи значения её расширения.
Присваивать можно только нерасширяемые записи.
> -- Language Report писал(а):
> Assignment compatibleAn expression e of type Te is assignment compatible with a variable v of type Tv if one of the following conditions hold:1.  Te and Tv are equal and neither abstract, extensible, or limited record nor open array types;...