checker/tests/nullness/generics/AnnotatedTypeParams2.java

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

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

public class AnnotatedTypeParams2 {

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

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