void (PairT pairT) { switch (<error descr="'switch' statement does not cover all possible input values">pairT</error>) { case PairT(T11(T1 t12, T2 t22), T1 t1) when ((Object)pairT).hashCode()==1 -> System.out.println(53714); case PairT(T11(T2 t12, T2 t22), T1 t1) -> System.out.println(1); case PairT(T11(T t12, T1 t22), T1 t1) -> System.out.println(1); case PairT(T12(T1 t12, T t22), T1 t1) -> System.out.println(1); case PairT(T12(T2 t12, T t22), T1 t1) -> System.out.println(1); case PairT( T1 t2, T21 t1) -> System.out.println(1); case PairT( T1 t2, T22(T t11, T1 t12)) -> System.out.println(1); case PairT( T1 t2, T22(T t11, T2 t12)) -> System.out.println(1); case PairT( T2 t2, T t1) -> System.out.println(1); } }