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
|
// Unannotated version in framework/tests/all-systems/TypeVarPrimitives.java
import org.checkerframework.checker.nullness.qual.*;
public class TypeVarPrimitivesNullness {
<T extends @Nullable Long> void method(T tLong) {
// :: error: (unboxing.of.nullable)
long l = tLong;
}
<T extends @Nullable Long & @Nullable Cloneable> void methodIntersection(T tLong) {
// :: error: (assignment.type.incompatible)
long l = tLong;
}
<T extends @Nullable Long> void method2(@NonNull T tLong) {
long l = tLong;
}
<T extends @Nullable Long & @Nullable Cloneable> void methodIntersection2(@NonNull T tLong) {
long l = tLong;
}
<T extends @Nullable Long> void method3(@Nullable T tLong) {
// :: error: (unboxing.of.nullable)
long l = tLong;
}
<T extends @Nullable Long & @Nullable Cloneable> void methodIntersection3(@Nullable T tLong) {
// :: error: (assignment.type.incompatible)
long l = tLong;
}
}
|
