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

1 files changed, 19 insertions, 0 deletions

diff --git a/test/transform/resource/after-ecj/NonNullOnRecordSimple.java b/test/transform/resource/after-ecj/NonNullOnRecordSimple.java
new file mode 100644
index 00000000..ee1510ea
--- /dev/null
+++ b/test/transform/resource/after-ecj/NonNullOnRecordSimple.java
@@ -0,0 +1,19 @@
+// version 14:
+import lombok.NonNull;
+public record NonNullOnRecordSimple(String a, String b) {
+/* Implicit */  private final String a;
+/* Implicit */  private final String b;
+  public @java.lang.SuppressWarnings("all") NonNullOnRecordSimple(@NonNull String a, @NonNull String b) {
+    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;
+  }
+}