void () { switch (null) { case <error descr="Duplicate unconditional pattern">String a</error> -> System.out.println("2"); //error case <error descr="Duplicate unconditional pattern">CharSequence a</error> -> System.out.println("2"); //error } }