blob: 465c30dbd5ae7c5e588f28d13074dbe007f98735 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// version 16:
import lombok.NonNull;
public record NonNullOnRecord(@NonNull String a, @NonNull String b) {
@java.lang.SuppressWarnings("all")
public NonNullOnRecord {
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");
}
}
}
|
