[BUG] @NonNull on a primitive array field on a record isn't working

[Igor-Mukhin]

Describe the bug
@ NonNull on a primitive array field on a record isn't working

To Reproduce
NamedByteArray.java

public record NamedByteArray(
        @NonNull String name,
        byte @NonNull[] bytes) {
}

NamedByteArrayTest.java

class NamedByteArrayTest {

    @Test void testConstructorDoesNotAcceptNulls() {
        assertThrows(NullPointerException.class, () -> new NamedByteArray(null, new byte[0]));
        // THIS ONE IS NOT WORKING!!!! NullPointerException is not thrown.
        assertThrows(NullPointerException.class, () -> new NamedByteArray("name", null));
    }

}

Expected behavior
@nonnull should throws NPE on primitive array field on a record if it is null.

Version info:

• Lombok version 1.18.26
• Java 19

Additional information:
If you decompile the NamedByteArray.class:

public record NamedByteArray(@NonNull String name, byte @NonNull [] bytes) {
    public NamedByteArray(@NonNull String name, byte @NonNull [] bytes) {
        if (name == null) {
            throw new NullPointerException("name is marked non-null but is null");
        } else {
            this.name = name;
            this.bytes = bytes;
        }
    }

.
.
.

[Rawi01]

It works as expected if you annotated the method parameter and not the array type e.g. @NonNull byte[] bytes.

It seems odd to me that it works at all (e.g. for normal methods) but there's probably a good reason I can't figure out.

[janrieke]

IMO the meaning should be:

• String @NonNull [] strings: the array must not be null, but its elements can be null.
• @NonNull String [] strings: the array may be null, but if it's not, its elements must not be null.
• @NonNull String @NonNull [] strings: neither the array nor elements may be null.

For primitives, the second case is obviously irrelevant. So I think Lombok is wrong here.

But: That is only true if it's a type annotation and not a parameter annotation. Lombok's @NonNull is both, so it's impossible to distinguish. However Lombok should at least support the type annotation case 1.

[rzwitserloot]

Available on edge.