Oberon space

Нет, не в данной конкретной реализации. Конструкция WITH всегда неадекватна когда работает со ссылкой на указатель (VAR x: POINTER TO...) потому, что значение указателя на который ссылается ссылка x всегда можно свободно менять.

Никак не могу  согласиться с данным утверждением, потому как писали мы оберонистый компилятор для внутренних нужд - нет там такой проблемы, потому что дескриптор типа содержит поле guard, которое увеличивается при каждом вхождении в блок WITH и уменьшается при выходе из него, что контролируется при присваивании/создании, и в случае обращения к защищенному участку памяти вываливается исключение, но память при этом, по понятным причинам и стандартными средствами, испортить невозможно.