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
|
// Test case for Issue 1315
// https://github.com/typetools/checker-framework/issues/1315
import org.checkerframework.checker.nullness.qual.Nullable;
public class Issue1315 {
static class Box<T> {
T f;
Box(T p) {
f = p;
}
@SuppressWarnings("unchecked")
T test1(@Nullable Object p) {
// :: warning: (cast.unsafe)
return (T) p;
}
// The Nullness Checker should not issue a cast.unsafe warning,
// but the KeyFor Checker does, so suppress that warning.
@SuppressWarnings({"unchecked", "keyfor:cast.unsafe"})
T test2(Object p) {
return (T) p;
}
}
static class Casts {
public static void test() {
Box<String> bs = new Box<>("");
bs.f = bs.test1(null);
// :: error: (argument.type.incompatible)
bs.f = bs.test2(null);
bs.f.toString();
}
}
}
|
