| // Test case for Issue 1308. |
| // https://github.com/typetools/checker-framework/issues/1308 |
| |
| import java.util.function.Function; |
| import java.util.stream.Collector; |
| import java.util.stream.Stream; |
| |
| class Map1308<K, V> {} |
| |
| @SuppressWarnings("all") // check for crashes |
| public class Issue1308 { |
| void bar(Stream<Number> stream) { |
| new Inner(stream.collect(transform(data -> convert(data), Function.identity()))); |
| } |
| |
| String convert(Number entry) { |
| return ""; |
| } |
| |
| class Inner { |
| Inner(Map1308<String, Number> data) {} |
| } |
| |
| static <T, K, V> Collector<T, ?, Map1308<K, V>> transform( |
| Function<? super T, ? extends K> keyFunction, |
| Function<? super T, ? extends V> valueFunction) { |
| return null; |
| } |
| } |