Record pattern can be used

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);
  }
}

This inspection only reports if the language level of the project or module is 19 or higher

New in 2023.1

Inspection Details
Available in:	IntelliJ IDEA 2023.3, Qodana for JVM 2023.3
Plugin:	Java, 233.SNAPSHOT

Last modified: 13 July 2023