A generic class with a single formal generic parameter which is
constrained by `expanded TEST', which is not a Class_type, is accepted
by the compiler.

Discovered in Prerelease 93.07.15.