1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// Test case for Issue 1098:
// https://github.com/typetools/checker-framework/issues/1098
import java.util.Optional;
class Issue1098 {
<T> void opt(Optional<T> p1, T p2) {}
<T> void cls(Class<T> p1, T p2) {}
void use() {
opt(Optional.empty(), null);
// 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)
cls(this.getClass(), null);
}
}
|
