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
|
import org.checkerframework.checker.nullness.qual.*;
interface GBList<E extends @Nullable Object> {
void add(E p);
}
/*
* Illustrate a problem with annotations on type variables.
* The annotation on the upper bound of a type variable is confused with an
* annotation on the type variable itself.
*/
public class GenericsBounds1<X extends @Nullable Object> {
void m1(@NonNull GBList<X> g1, @NonNull GBList<@Nullable X> g2) {
// :: error: (assignment.type.incompatible)
g1 = null;
// :: error: (argument.type.incompatible)
g1.add(null);
// :: error: (assignment.type.incompatible)
g2 = null;
g2.add(null);
// :: error: (assignment.type.incompatible)
g2 = g1;
g2.add(null);
}
}
|
