> -- Comdiv писал(а):
> Я уже  - это побочный эффект запрета  выявляемых бессмысленных проверок и некритичный, элементарно обходимый, недочёт дизайна языка. Возможно, Вам нужно объяснение этого же другими словами? Задавайте уточняющие вопросы, но, пожалуйста, не ходите по кругу.1. Можете сказать, зачем Вам нужна проверка типа записи у разыменованного указателя вместо проверки непосредственно указателя?И вернёмся к .2. Понимаете, почему в процедуре проверка типа записи  VAR-параметра осмысленна, так как фактический тип параметра в вызванной процедуре неизвестен?3. Понимаете, почему проверка типа записи непосредственно объявленной переменной бессмысленна, так как её тип в момент проверки известен?

Я Ваш ответ для себя интерпретировал следующим образом:
1. Разыменованный типовой указатель подобен статической записи, поэтому сравнение одной статической записи с другой бессмысленно.
2. Идентификаторы VAR и IN в процедурах описывают параметры-переменные, которые поэтому могут считаться динамическими типами.
3. Указатели считаются динамическими типами, поэтому проверка типов может осуществляться как в процедуре, так и в теле модуля.