void (Set<Set<? extends int[]>> t) { Set<Set<?>> t2 = <error descr="Inconvertible types; cannot cast 'java.util.Set<java.util.Set<? extends int[]>>' to 'java.util.Set<java.util.Set<?>>'">(Set<Set<?>>) t</error>; // error }