Reports patterns that can be replaced with record patterns.

Example:


  record Point(int x, int y) {
    static void printSum(Object obj) {
      if (obj instanceof Point p) {
        int x = p.x();
        int y = p.y();
        System.out.println(x + y);
      }
    }
  }

After the quick-fix is applied:


  record Point(int x, int y) {
    static void printSum(Object obj) {
      if (obj instanceof Point(int x, int y)) {
        System.out.println(x + y);
      }
    }
  }

New in 2023.1