1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// Test case for Issue 1098:
// https://github.com/typetools/checker-framework/issues/1098
@SuppressWarnings({"nullness", "initialization.fields.uninitialized"})
class MyObject {
Class<?> getMyClass() {
return null;
}
}
class Issue1098NoJdk {
<T> void cls2(Class<T> p1, T p2) {}
void use2(MyObject ths) {
// TODO: false positive, because type agrument inference does not account for @Covariant.
// See https://github.com/typetools/checker-framework/issues/979.
// :: error: (argument.type.incompatible)
cls2(ths.getMyClass(), null);
}
}
|
