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

record R(int x, int y){}
class Test{
  void foo(Object o) {
    if (o instanceof R(int w, int c)){
        System.out.println(w<caret>);
    }
  }
}