Compiling a system and then introducing a violation of the Expanded
Type rule in a particular manner causes the violation to escape
detection by the compiler.

Still not fixed in Prerelease 93.02.17.
Fixed in Prerelease 93.07.15.