Test for #1664: Metamodel bounds problem with Required and Found types

This is now disallowed by the typechecker because hard to implement on the JVM