1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
import org.checkerframework.checker.nullness.qual.*;
public class ThreadLocalTest {
// implementation MUST override initialValue(), or SuppressWarnings is unsound
@SuppressWarnings("nullness:type.argument.type.incompatible")
class MyThreadLocalNN extends ThreadLocal<@NonNull Integer> {
@Override
protected Integer initialValue() {
return Integer.valueOf(0);
}
}
void foo() {
// :: error: (type.argument.type.incompatible)
new ThreadLocal<@NonNull Object>();
// :: error: (type.argument.type.incompatible)
new InheritableThreadLocal<@NonNull Object>();
new ThreadLocal<@Nullable Object>();
new InheritableThreadLocal<@Nullable Object>();
new MyThreadLocalNN();
}
}
|
