1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
import org.checkerframework.checker.nullness.qual.*;
interface PolyFunc {
@PolyNull String method(@PolyNull String in);
}
interface NonNullFunc {
@NonNull String method(@NonNull String in);
}
interface MixedFunc {
@NonNull String method(@Nullable String in);
}
class Context {
static @PolyNull String poly(@PolyNull String in) {
return in;
}
static String nonPoly(String in) {
return in;
}
void context() {
PolyFunc f1 = Context::poly;
// :: error: (methodref.param.invalid)
PolyFunc f2 = Context::nonPoly;
NonNullFunc f3 = Context::poly;
// :: error: (methodref.return.invalid)
MixedFunc f4 = Context::poly;
}
}
|
