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
|
// Test case for Issue 1708
// https://github.com/typetools/checker-framework/issues/1708
import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;
@SuppressWarnings("unchecked")
public class Issue1708 {
static class A<T extends B> {}
static class B<T1, T2> {}
static class C {}
static class D<T1 extends E, T2 extends F> {}
static class E<T1, T2 extends D> {}
static class F {}
static class B1 extends B<C, D> {}
static class B2 extends B<C, D> {}
static class B3 extends B<C, D> {}
public static class Example extends A<B<C, D>> {
private final List<B<C, D>> f;
public Example(B1 b1, B2 b2, B3 b3) {
f = ListUtil.of(b1, b2, b3);
}
}
public static class ListUtil {
public static <T> List<T> of(T... elems) {
return new ArrayList<>(Arrays.asList(elems));
}
}
}
|
