checker/tests/nullness/generics/AnnotatedTypeParams.java

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

class MyClass<@Nullable T> {
  T get() {
    throw new RuntimeException();
  }

  void testPositive() {
    MyClass<@Nullable String> l = new MyClass<>();
    // :: error: (dereference.of.nullable)
    l.get().toString();
  }

  void testInvalidParam() {
    // :: error: (type.argument)
    MyClass<@NonNull String> l;
  }
}