// Test case for #953
// https://github.com/typetools/checker-framework/issues/953

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

@SuppressWarnings("all")
public class Issue953bLambda {
  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 "";
            });
  }
}