1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// Test case for Issue 1006:
// https://github.com/typetools/checker-framework/issues/1006
import java.util.Map;
import java.util.function.Function;
import java.util.stream.Collectors;
import java.util.stream.Stream;
@SuppressWarnings("") // Ignore type-checking errors.
class Issue1006 {
void foo(Stream<String> m, Map<String, Integer> im) {
Map<String, Integer> l = m.collect(Collectors.toMap(Function.identity(), im::get));
}
// alternative version with same crash
Map<String, Long> bar(String src) {
return Stream.of(src)
.collect(Collectors.groupingBy(Function.identity(), Collectors.counting()));
}
}
|
