openide/java/java-tests/testData/inspection/patternVariableCanBeUsed/afterFinalDeclared.java

// "Replace 's' with pattern variable" "true"
class X {
  void test(Object obj) {
    if (obj instanceof @Ann String s) {
    }
  }
}