Напомнюдокумент по Оберону-2:> -- Цитата:
> If an expression e of type Te is assigned to a variable v of type Tv, the following happens: if Tv and Te are record types, only those fields of Te are assigned which also belong to Tv (projection); the dynamic type of v must be the same as the static type of v and is not changed by the assignment;Мне в этом читается, что присваиваемое значение (типа Te) может быть как расширенным типом, так и предком переменной (типа Tv). Более того, они оба могут быть независимыми расширениями некоторой базовой записи, в этом случае копироваться должны только базовые (общие для обоих типов) поля.