1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
// Test case for issue 370: https://github.com/typetools/checker-framework/issues/370
import java.util.Arrays;
import java.util.List;
import org.checkerframework.checker.nullness.qual.Nullable;
class AnnotatedJdkTest {
// This code should type-check because of the annotated JDK, which contains:
// class Arrays {
// public static <T> List<T> asList(T... a);
// }
// That JDK annotation should be equivalent to
// public static <T extends @Nullable Object> List<T> asList(T... a);
// because of the CLIMB-to-top defaulting rule.
List<@Nullable String> lns = Arrays.asList("foo", null, "bar");
}
|
