record Example(int x, int y) {

  static void example_instanceof(Object o) {
    if (o instanceof Example(int x, int y)) {
      System.out.println(x + ", " + y);
    }
  }

  static void example_switch(Object o) {
    switch (o) {
      case Example(int x, int y) -> System.out.println(x + ", " + y);
      default -> System.out.println();
    }
  }

  public static void main(String[] args) {
    example_instanceof(new Object());
    example_instanceof(new Example(1, 2));
    example_switch(new Object());
    example_switch(new Example(1, 2));
  }
}

openjdk version "21-ea" 2023-09-19
OpenJDK Runtime Environment (build 21-ea+25-2212)
OpenJDK 64-Bit Server VM (build 21-ea+25-2212, mixed mode, sharing)

javac Example.java -d classes
java -javaagent:jacocoagent.jar -cp classes Example
java -jar jacococli.jar report jacoco.exec --classfiles classes --sourcefiles . --html report