Говорят, что значение типа T2 можно присвоить переменной типа T1 или тип T2 совместим по присваиванию с типом T1, если выполняется одно из следующих условий:

• T1 и T2 совместимы
• T1 - вещественного типа, T2 - целого
• T1 - строкового типа, T2 - символьного
• T1 - pointer, T2 - типизированный указатель
• T1 - указатель или процедурная переменная, T2=nil
• T1 - процедурная переменная, T2 - имя процедуры или функции с соответствующим списком параметров
• T1, T2 - классовые типы, один из них - наследник другого.
• T1 - тип интерфейса, T2 - тип класса, реализующего этот интерфейс

Если тип T2 совместим по присваиванию с типом T1, то говорят также, что тип T2 неявно приводится к типу T1.