В С++ можно определять оператор = для своих типов.
В Паскале его определить нельзя, но компилятор для некоторых типов сам вставляет в каждое присваивание какой-то дополнительный ad hoc кусок кода.
Например, в Delphi при присваивании интерфейсов вставляется код увеличения счётчика ссылок.
Как правильно и обобщённо назвать этот код, независимо от конкретного типа? У меня только маршалинг всплывает в памяти, но это явно не оно.
Ещё варианты - «обработка присваивания», «особая обработка присваивания», но всё это как-то недостаточно выразительно. Ваши варианты.