checker/tests/nullness/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;

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