> -- Trurl писал(а):
> Как-то же надо обосновывать возможность присваивания

Надо подумать...

С одной стороны, NIL принадлежит любому множеству любых типов указателей (на любые типы).

С другой - как-либо его "проверять" на принадлежность типу мы не можем: никакой информации о статическом и о динамическом типе "пустого" элемента мы не можем в принципе получить...

Наверное, первая "сторона" главенствует...