forked from typetools/checker-framework
/
RawTypesNullness.java
77 lines (63 loc) · 2.5 KB
/
RawTypesNullness.java
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
// @above-java17-jdk-skip-test TODO: reinstate, false negatives may be due to issue #979
import org.checkerframework.checker.nullness.qual.Nullable;
class Generic<G extends @Nullable Object> {}
class MyClass extends Generic<MyClass> {}
class BoundedGeneric<B extends @Nullable CharSequence> {}
class RawTypesNullness {
Generic rawReturn() {
return new Generic();
}
Generic rawField = new Generic();
void use() {
Generic rawLocal = new Generic<>();
Generic<?> generic1 = rawReturn();
Generic<?> generic2 = rawField;
Generic<?> generic3 = rawLocal;
}
}
class TestBounded {
BoundedGeneric rawReturn() {
return new BoundedGeneric<>();
}
BoundedGeneric rawField = new BoundedGeneric();
void useWildCard() {
BoundedGeneric rawLocal = new BoundedGeneric<String>();
BoundedGeneric<?> generic1 = rawReturn();
BoundedGeneric<?> generic2 = rawField;
BoundedGeneric<?> generic3 = rawLocal;
}
@SuppressWarnings("unchecked") // only needed on JDK 17 and lower
void useBoundedWildCard() {
BoundedGeneric rawLocal = new BoundedGeneric<String>();
BoundedGeneric<? extends Object> generic1 = rawReturn();
BoundedGeneric<? extends Object> generic2 = rawField;
BoundedGeneric<? extends Object> generic3 = rawLocal;
}
void useBoundedWildCard2() {
BoundedGeneric rawLocal = new BoundedGeneric<String>();
// :: warning: [unchecked] unchecked conversion
BoundedGeneric<? extends CharSequence> generic1 = rawReturn();
// :: warning: [unchecked] unchecked conversion
BoundedGeneric<? extends CharSequence> generic2 = rawField;
// :: warning: [unchecked] unchecked conversion
BoundedGeneric<? extends CharSequence> generic3 = rawLocal;
}
void useTypeArg() {
BoundedGeneric rawLocal = new BoundedGeneric<String>();
// :: warning: [unchecked] unchecked conversion
BoundedGeneric<String> generic1 = rawReturn();
// :: warning: [unchecked] unchecked conversion
BoundedGeneric<String> generic2 = rawField;
// :: warning: [unchecked] unchecked conversion
BoundedGeneric<String> generic3 = rawLocal;
}
void useAnnotatedTypeArg() {
BoundedGeneric rawLocal = new BoundedGeneric<String>();
// :: warning: [unchecked] unchecked conversion
BoundedGeneric<@Nullable String> generic1 = rawReturn();
// :: warning: [unchecked] unchecked conversion
BoundedGeneric<@Nullable String> generic2 = rawField;
// :: warning: [unchecked] unchecked conversion
BoundedGeneric<@Nullable String> generic3 = rawLocal;
}
}