checker/tests/nullness/generics/AnonymousClass.java

import org.checkerframework.checker.nullness.qual.*;

public class AnonymousClass {

  class Bound<X extends @NonNull Object> {}

  void test() {
    // :: error: (type.argument)
    new Bound<@Nullable String>() {};
  }

  // The dummy parameter tests ParamApplier
  void test(Object dummy) {
    // :: error: (type.argument)
    new Bound<@Nullable String>() {};
  }
}