AnnotatedJdkTest.java

// 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");
}