1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// Test case for Issue #2048:
// https://github.com/typetools/checker-framework/issues/2048
//
// There are two versions:
// framework/tests/all-systems
// checker/tests/nullness
class Issue2048 {
interface Foo {}
interface Fooer<R extends Foo> {}
class UseNbl<T> {
// T by default is @Nullable and therefore doesn't
// fulfill the bound of R.
// :: error: (type.argument.type.incompatible)
void foo(Fooer<? extends T> fooer) {}
}
class UseNN<T extends Object> {
void foo(Fooer<? extends T> fooer) {}
}
}
|
