[fixes #3366] Handle @NonNull type annotations on record components

4 files changed, 27 insertions, 6 deletions

diff --git a/test/transform/resource/after-ecj/NonNullOnRecord2.java b/test/transform/resource/after-ecj/NonNullOnRecordExistingConstructor.java
index 5820d453..4323113f 100644
--- a/test/transform/resource/after-ecj/NonNullOnRecord2.java
+++ b/test/transform/resource/after-ecj/NonNullOnRecordExistingConstructor.java
@@ -1,8 +1,8 @@
 // version 14:
 import lombok.NonNull;
-record NonNullOnRecord2(String a) {
+public record NonNullOnRecordExistingConstructor(String a) {
 /* Implicit */  private final String a;
-  public NonNullOnRecord2(@NonNull String a) {
+  public NonNullOnRecordExistingConstructor(@NonNull String a) {
     super();
     if ((a == null))
         {
diff --git a/test/transform/resource/after-ecj/NonNullOnRecord3.java b/test/transform/resource/after-ecj/NonNullOnRecordExistingSetter.java
index 37f0afcf..1bdaf29f 100644
--- a/test/transform/resource/after-ecj/NonNullOnRecord3.java
+++ b/test/transform/resource/after-ecj/NonNullOnRecordExistingSetter.java
@@ -1,8 +1,8 @@
 // version 19:
 import lombok.NonNull;
-public record NonNullOnRecord3(String a) {
+public record NonNullOnRecordExistingSetter(String a) {
 /* Implicit */  private final String a;
-  public NonNullOnRecord3(String a) {
+  public NonNullOnRecordExistingSetter(String a) {
     super();
     this.a = a;
   }
diff --git a/test/transform/resource/after-ecj/NonNullOnRecord.java b/test/transform/resource/after-ecj/NonNullOnRecordSimple.java
index d80e243b..ee1510ea 100644
--- a/test/transform/resource/after-ecj/NonNullOnRecord.java
+++ b/test/transform/resource/after-ecj/NonNullOnRecordSimple.java
@@ -1,9 +1,9 @@
 // version 14:
 import lombok.NonNull;
-public record NonNullOnRecord(String a, String b) {
+public record NonNullOnRecordSimple(String a, String b) {
 /* Implicit */  private final String a;
 /* Implicit */  private final String b;
-  public @java.lang.SuppressWarnings("all") NonNullOnRecord(@NonNull String a, @NonNull String b) {
+  public @java.lang.SuppressWarnings("all") NonNullOnRecordSimple(@NonNull String a, @NonNull String b) {
     super();
     if ((a == null))
         {
diff --git a/test/transform/resource/after-ecj/NonNullOnRecordTypeUse.java b/test/transform/resource/after-ecj/NonNullOnRecordTypeUse.java
new file mode 100644
index 00000000..4f040c2e
--- /dev/null
+++ b/test/transform/resource/after-ecj/NonNullOnRecordTypeUse.java
@@ -0,0 +1,21 @@
+// version 14:
+import lombok.NonNull;
+public record NonNullOnRecordTypeUse(int a, int b, int c) {
+/* Implicit */  private final int[] a;
+/* Implicit */  private final int @NonNull [] b;
+/* Implicit */  private final int[] @NonNull [] c;
+  public @java.lang.SuppressWarnings("all") NonNullOnRecordTypeUse(@NonNull int[] a, int @NonNull [] b, int[] @NonNull [] c) {
+    super();
+    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");
+        }
+    this.a = a;
+    this.b = b;
+    this.c = c;
+  }
+}