void (Set<Set<X2>> t) { Set<Set<X1>> t2 = <error descr="Inconvertible types; cannot cast 'java.util.Set<java.util.Set<InvalidCast.X2>>' to 'java.util.Set<java.util.Set<InvalidCast.X1>>'">(Set<Set<X1>>) t</error>; //error }