1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// Test case that was submitted in Issue 953, but was combined with Issue 979
// https://github.com/typetools/checker-framework/issues/979
// @skip-test until the bug is fixed
import java.util.*;
import java.util.stream.Collectors;
public class Issue953 {
public static void test() {
List<String> initial = new ArrayList<>();
List<Integer> counts =
initial.stream().skip(1).map(l -> count("", l)).collect(Collectors.toList());
}
private static int count(String s, String l) {
return 0;
}
}
|
