diff --git a/test/pretty/resource/after/RecordPattern21.java b/test/pretty/resource/after/RecordPattern21.java
new file mode 100644
index 00000000..dd3b9a28
--- /dev/null
+++ b/test/pretty/resource/after/RecordPattern21.java
@@ -0,0 +1,13 @@
+record Point(int x, int y) {
+}
+record Rectangle(Point upperLeft, Point lowerRight) {
+}
+
+public class RecordPattern21 {
+	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))) {
+		}
+	}
+}
\ No newline at end of file
diff --git a/test/pretty/resource/before/RecordPattern20.java b/test/pretty/resource/before/RecordPattern20.java
index 8604215b..5e257fda 100644
--- a/test/pretty/resource/before/RecordPattern20.java
+++ b/test/pretty/resource/before/RecordPattern20.java
@@ -1,4 +1,4 @@
-// version 20:
+// version 20:20
 record Point(int x, int y) {
 }
 record Rectangle(Point upperLeft, Point lowerRight) {
diff --git a/test/pretty/resource/before/RecordPattern21.java b/test/pretty/resource/before/RecordPattern21.java
new file mode 100644
index 00000000..10c97ea0
--- /dev/null
+++ b/test/pretty/resource/before/RecordPattern21.java
@@ -0,0 +1,14 @@
+// version 21:
+record Point(int x, int y) {
+}
+record Rectangle(Point upperLeft, Point lowerRight) {
+}
+
+public class RecordPattern21 {
+	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))) {
+		}
+	}
+}
\ No newline at end of file