// 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; | |
} | |
} |