checker/tests/nullness/generics/RawTypesGenerics.java

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

public class RawTypesGenerics {
  void m() throws ClassNotFoundException {
    Class c1 = Class.forName("bla");
    Class<? extends @Nullable Object> c2 = Class.forName("bla");
  }

  class Test<X extends Number> {}

  void bar() {
    // Java will complain about this:
    // Test x = new Test<Object>();

    // ok
    Test y = new Test<Integer>();

    // :: error: (type.argument)
    Test z = new Test<@Nullable Integer>();
  }

  void m(java.lang.reflect.Constructor<?> c) {
    Class cls1 = c.getParameterTypes()[0];
    Class<? extends @Nullable Object> cls2 = c.getParameterTypes()[0];
  }
}