AnnotatedTypeParams.java

import checkers.nullness.quals.*;
import java.util.*;

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

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

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