A feature `z: TEST2 [like w, like w]' where TEST2 is a generic class
with two unconstrained formal generic parameters should be valid, but
the compiler says it violates VTAT(1).

Discovered in Release 3.2.3b.