blob: 1bdaf29fb4ca18e826d477dd2685a8810072864c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// version 19:
import lombok.NonNull;
public record NonNullOnRecordExistingSetter(String a) {
/* Implicit */ private final String a;
public NonNullOnRecordExistingSetter(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";
}
}
|
