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
37
38
39
40
41
42
|
import org.checkerframework.checker.nullness.qual.*;
class AnnotatedGenerics3 {
class Cell<T extends @Nullable Object> {
T f;
Cell(T i) {
f = i;
}
void setNull(Cell<@Nullable T> p) {
p.f = null;
}
void indirect(Cell<T> p) {
// :: error: (argument.type.incompatible)
setNull(p);
}
void setField(@Nullable T p) {
// :: error: (assignment.type.incompatible)
this.f = p;
}
}
void run() {
Cell<@NonNull Object> c = new Cell<>(new Object());
// :: error: (argument.type.incompatible)
c.setNull(c);
c.f.hashCode();
c.indirect(c);
c.f.hashCode();
c.setField(null);
c.f.hashCode();
}
public static void main(String[] args) {
new AnnotatedGenerics3().run();
}
}
|
