Issue953b.java

// Test case for #953
// https://github.com/typetools/checker-framework/issues/953
// @below-java8-jdk-skip-test

import java.util.ArrayList;
import java.util.List;
import java.util.function.Function;
import org.checkerframework.checker.nullness.qual.NonNull;

@SuppressWarnings("")
class Issue953b {
    private static List<List<?>> strs = new ArrayList<>();

    public static <R, T> List<@NonNull R> mapList(
            List<@NonNull T> list, Function<@NonNull T, @NonNull R> func) {
        throw new RuntimeException();
    }

    public static void test() {
        List<String> list =
                mapList(
                        strs,
                        s -> {
                            return "";
                        });
    }
}