Oberon space

Логично предположить, что присваивание разнотиповых указателей в языке Oberon-07/11 допускается, т. к. в языке предусмотрены операции охраны/проверки типа для переменных-указателей, которые были бы лишены всякого смысла. По всей видимости, Вирт просто забыл (в его без малого 80 лет) сделать исключение для указателей в правиле присваивания, ну или решил, что читатель сам догадается))