[Oberon] Serious type loophole in type case statements and a possible fix

[Michael Schierl]

Hello Jörg,

Am 30.10.2020 um 23:21 schrieb Jörg:
> When the compiler automatically generates a type guard (ORG.TypeTest) for all assignments to p in the CASE, shouldn’t that catch your case?

Yes, it will. But apparently one did not want to have that kind of
runtime penalty. :)

Regards,

Michael