1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// 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("")
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 "";
});
}
}
|
