openide/java/java-tests/testData/codeInsight/gotoDeclaration/FromGuardToDestructuringPattern.java

record R(int x, int y){}
class Test{
  void foo(Object o) {
    switch(o){
      case R(int w, int c) when c<caret> > 0 -> System.out.println();
      default -> System.out.println()
    }
  }
}