Я ужеответил- это побочный эффект запретатривиальновыявляемых бессмысленных проверок и некритичный, элементарно обходимый, недочёт дизайна языка. Возможно, Вам нужно объяснение этого же другими словами? Задавайте уточняющие вопросы, но, пожалуйста, не ходите по кругу.

1. Можете сказать, зачем Вам нужна проверка типа записи у разыменованного указателя вместо проверки непосредственно указателя?

И вернёмся кпримеру.
2. Понимаете, почему в процедуре проверка типа записи  VAR-параметра осмысленна, так как фактический тип параметра в вызванной процедуре неизвестен?
3. Понимаете, почему проверка типа записи непосредственно объявленной переменной бессмысленна, так как её тип в момент проверки известен?