import de.dhbwstuttgart.typeinference.Menge; class WCTest{ void test() { Menge<Menge<? extends Sub1>> v1 = new Menge<Menge<Sub2>>(); } } class Sub1 {} class Sub2 extends Sub1 {} class Sub3 extends Sub2 {} class N<x> {} class Test<x> extends N<N<? extends x>> {}