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
|
// Test case for issue 953
// https://github.com/typetools/checker-framework/issues/953
// The signture of MyStream#collect is slightly different than the one in Issue953.java
import java.util.List;
public class Issue953b {
class MyCollector<A, B, C> {}
class MyStream<E> {
<F, G> F collect(MyCollector<? extends E, G, F> param) {
throw new RuntimeException();
}
}
public static void test(MyStream<Integer> y) {
// Type argument inference fails, so a checker may report a type checking error.
@SuppressWarnings("")
List<Integer> counts = y.collect(toList());
}
static <H> MyCollector<H, ?, List<H>> toList() {
throw new RuntimeException();
}
}
|
