[records] [`@NonNull`] eclipse impl onfthe `@NonNull` on record components feature.

All tests passing.

1 files changed, 20 insertions, 0 deletions

diff --git a/test/transform/resource/after-ecj/NonNullOnRecord3.java b/test/transform/resource/after-ecj/NonNullOnRecord3.java
new file mode 100644
index 00000000..44c00098
--- /dev/null
+++ b/test/transform/resource/after-ecj/NonNullOnRecord3.java
@@ -0,0 +1,20 @@
+// version 14:
+import lombok.NonNull;
+public record NonNullOnRecord3(String a) {
+/* Implicit */  private final String a;
+  public NonNullOnRecord3(String a) {
+    super();
+    .a = a;
+  }
+  public NonNullOnRecord3(String a) {
+    super();
+    this.a = a;
+  }
+  public void method(@NonNull String param) {
+    if ((param == null))
+        {
+          throw new java.lang.NullPointerException("param is marked non-null but is null");
+        }
+    String asd = "a";
+  }
+}