checker/tests/nullness/generics/WildcardAnnos.java

import java.util.List;
import org.checkerframework.checker.nullness.qual.*;

public class WildcardAnnos {
  // :: error: (bound)
  @Nullable List<@Nullable ? extends @NonNull Object> l1 = null;
  @Nullable List<@NonNull ? extends @Nullable Object> l2 = null;

  // The implicit upper bound is Nullable, because the annotation
  // on the wildcard is propagated. Therefore this type is:
  // @Nullable List<? super @NonNull Object extends @Nullable Object> l3 = null;
  @Nullable List<@Nullable ? super @NonNull Object> l3 = null;

  // :: error: (bound)
  @Nullable List<@NonNull ? super @Nullable Object> l4 = null;

  @Nullable List<? super @Nullable Object> l5 = null;

  @Nullable List<? extends @Nullable Object> inReturn() {
    return null;
  }

  void asParam(List<? extends @Nullable Object> p) {}

  // :: error: (conflicting.annos)
  @Nullable List<@Nullable @NonNull ? extends @Nullable Object> l6 = null;
  // :: error: (conflicting.annos)
  @Nullable List<@Nullable @NonNull ? super @NonNull Object> l7 = null;
  // :: error: (conflicting.annos)
  @Nullable List<? extends @Nullable @NonNull Object> l8 = null;
  // :: error: (conflicting.annos)
  @Nullable List<? super @Nullable @NonNull Object> l9 = null;
}