blob: 62b385bc6837eb479cb7afda01ad684966ec8543 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// version 14:
import lombok.NonNull;
public record NonNullOnRecord3(@NonNull String a) {
public NonNullOnRecord3(String a) {
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";
}
}
|