void () { record R1(){} record R2(){} Object obj = "Hello"; switch (obj) { case String s: System.out.println(s); case R1(): System.out.println(<error descr="Cannot resolve symbol 's'">s</error>); break; default: } }