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
35
36
|
import org.checkerframework.checker.nullness.qual.*;
public class SwitchTest {
public static void main(String[] args) {
// :: error: (switching.nullable)
switch (getNbl()) {
case X:
System.out.println("X");
break;
default:
System.out.println("default");
}
}
public static void goodUse() {
switch (getNN()) {
case X:
System.out.println("X");
break;
default:
System.out.println("default");
}
}
public static @Nullable A getNbl() {
return null;
}
public static A getNN() {
return A.X;
}
public static enum A {
X
}
}
|
