Коллеги, почему работает вот это:

VAR s: POINTER TO ARRAY [untagged] OF CHAR;
t: POINTER TO ARRAY OF CHAR;
s := "Почему это работает?!"';
s := t^;   (* ничуть не легче *)

Я не могу понять, из каких "священных текстов" следует, что это не ошибка, а должно работать?