4 files changed, 19 insertions, 6 deletions
diff --git a/test/transform/resource/after-delombok/NonNullOnRecord2.java b/test/transform/resource/after-delombok/NonNullOnRecordExistingConstructor.java
index d3021350..e3fdc2fc 100644
--- a/test/transform/resource/after-delombok/NonNullOnRecord2.java
+++ b/test/transform/resource/after-delombok/NonNullOnRecordExistingConstructor.java
@@ -1,7 +1,7 @@
 // version 16:
 import lombok.NonNull;
-record NonNullOnRecord2(@NonNull String a) {
-	public NonNullOnRecord2 {
+public record NonNullOnRecordExistingConstructor(@NonNull String a) {
+	public NonNullOnRecordExistingConstructor {
 		if (a == null) {
 			throw new java.lang.NullPointerException("a is marked non-null but is null");
 		}
diff --git a/test/transform/resource/after-delombok/NonNullOnRecord3.java b/test/transform/resource/after-delombok/NonNullOnRecordExistingSetter.java
index 62b385bc..11aaca49 100644
--- a/test/transform/resource/after-delombok/NonNullOnRecord3.java
+++ b/test/transform/resource/after-delombok/NonNullOnRecordExistingSetter.java
@@ -1,7 +1,7 @@
 // version 14:
 import lombok.NonNull;
-public record NonNullOnRecord3(@NonNull String a) {
-	public NonNullOnRecord3(String a) {
+public record NonNullOnRecordExistingSetter(@NonNull String a) {
+	public NonNullOnRecordExistingSetter(String a) {
 		this.a = a;
 	}
 	public void method(@NonNull String param) {
diff --git a/test/transform/resource/after-delombok/NonNullOnRecord.java b/test/transform/resource/after-delombok/NonNullOnRecordSimple.java
index 465c30db..2a772c93 100644
--- a/test/transform/resource/after-delombok/NonNullOnRecord.java
+++ b/test/transform/resource/after-delombok/NonNullOnRecordSimple.java
@@ -1,8 +1,8 @@
 // version 16:
 import lombok.NonNull;
-public record NonNullOnRecord(@NonNull String a, @NonNull String b) {
+public record NonNullOnRecordSimple(@NonNull String a, @NonNull String b) {
 	@java.lang.SuppressWarnings("all")
-	public NonNullOnRecord {
+	public NonNullOnRecordSimple {
 		if (a == null) {
 			throw new java.lang.NullPointerException("a is marked non-null but is null");
 		}
diff --git a/test/transform/resource/after-delombok/NonNullOnRecordTypeUse.java b/test/transform/resource/after-delombok/NonNullOnRecordTypeUse.java
new file mode 100644
index 00000000..e5b78f1c
--- /dev/null
+++ b/test/transform/resource/after-delombok/NonNullOnRecordTypeUse.java
@@ -0,0 +1,13 @@
+// version 16:
+import lombok.NonNull;
+public record NonNullOnRecordTypeUse(@NonNull int[] a, int @NonNull [] b, int[] @NonNull [] c) {
+	@java.lang.SuppressWarnings("all")
+	public NonNullOnRecordTypeUse {
+		if (a == null) {
+			throw new java.lang.NullPointerException("a is marked non-null but is null");
+		}
+		if (b == null) {
+			throw new java.lang.NullPointerException("b is marked non-null but is null");
+		}
+	}
+}