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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
// Test case for issue 295:
// https://github.com/typetools/checker-framework/issues/295
import org.checkerframework.checker.nullness.qual.Nullable;
abstract class Issue295 {
static class Box<T> {
T value;
Box(T value) {
this.value = value;
}
}
abstract <MTL> MTL load(Factory<MTL> p);
abstract class Factory<TF> {
abstract TF create();
}
<MT1> void f1(Factory<Box<@Nullable MT1>> f) {
Box<@Nullable MT1> v = f.create();
v = load(f);
}
<MT2> void f2(Factory<Box<@Nullable MT2>> f) {
Box<? extends @Nullable MT2> v = load(f);
}
<MT3> void f3(Factory<Box<MT3>> f) {
Box<MT3> v = load(f);
}
<MT4> void f4(Factory<Box<@Nullable MT4>> f) {
Box<? extends @Nullable MT4> v = load(f);
}
<MT5 extends @Nullable Object> void f5(Factory<Box<MT5>> f) {
Box<MT5> v = load(f);
}
<MT6 extends @Nullable Object> void f6(Factory<Box<MT6>> f) {
Box<? extends MT6> v = load(f);
}
<MT7> void f1noquals(Factory<Box<String>> f) {
Box<String> v = load(f);
}
}
|
