checker/tests/nullness/generics/WildcardBoundDefault.java

import org.checkerframework.checker.nullness.qual.*;
import org.checkerframework.framework.qual.DefaultQualifier;
import org.checkerframework.framework.qual.TypeUseLocation;

class MyGenClass<T extends @Nullable Object> {}

@DefaultQualifier(value = Nullable.class, locations = TypeUseLocation.UPPER_BOUND)
public class WildcardBoundDefault {
  void test() {
    ignore(newInstance());
  }

  static void ignore(MyGenClass<?>... consumer) {}

  static <T> MyGenClass<T> newInstance() {
    return new MyGenClass<T>();
  }
}