// 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("") // check for crashes
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;
    }
}