An actual generic parameter `TEST1 [like Current]' does not conform to
a formal generic parameter constrained by `TEST2 [like Current]'.  The
compiler detects the violation but dies with an exception trace trying
to report it.

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