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

В отличие от простой совместимости, совместимость по присваиванию гарантирует, что в тех случаях, когда производится какое-либо присваивание (используется запись вида a:=b; или происходит передача значений в подпрограмму1) или из нее и т.п.), не произойдет никаких изменений присваиваемого значения.

Два типа данных Т1 и Т2 называются совместимыми по присваиванию, если выполняется хотя бы один вариант из перечисленных ниже:

• Т1 и Т2 эквивалентны, но не файлы2);
• Т1 и Т2 совместимы, причем Т2 - некоторое подмножество в Т1;
• Т1 - вещественный тип, а Т2 - целый.