[jdk20] Updates support for record patterns

test/pretty/resource/before/RecordPattern20.java

@@ -0,0 +1,23 @@
+// version 20:
+record Point(int x, int y) {
+}
+record Rectangle(Point upperLeft, Point lowerRight) {
+}
+
+public class RecordPattern20 {
+	void recordPattern(Object o) {
+		if (o instanceof Point(int x, int y)) {
+		}
+		if (o instanceof Rectangle(Point(var x1, var y1), Point(int x2, int y2))) {
+		}
+	}
+
+	void forEachSimple(Point[] pointArray) {
+		for (Point(var x, var y) : pointArray) {
+		}
+	}
+	void forEachNested(Rectangle[] rectangleArray) {
+		for (Rectangle(Point(var x1, var y1), Point p) : rectangleArray) {
+		}
+	}
+}