Похоже, такое поведение следует из описания даже для Оберона-2. Просто компилятор допускает послабления.

Интересно, компиляторы от ETH пропускают этот пример, а вот XDS Oberon-2  выдаёт
> -- Цитата:
> * type identifier "Base" shall not be used in declaring itself