// version 14:

import lombok.NonNull;

public record NonNullOnRecordSimple(@NonNull String a, @NonNull String b) {
}