GenericBoundsExplicit.java

package nullness.generics;

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

@SuppressWarnings("initialization.fields.uninitialized")
class GenericBoundsExplicit<@NonNull T extends @Nullable Object> {

    T t;

    public void method() {
        //:: error: (dereference.of.nullable)
        String str = t.toString();
    }

    public static void doSomething() {
        final GenericBoundsExplicit<@Nullable String> b =
                new GenericBoundsExplicit<@Nullable String>();
        b.method();
    }
}

@SuppressWarnings("initialization.fields.uninitialized")
class GenericBoundsExplicit2<@NonNull TT extends @Nullable Object> {
    @Nullable TT tt1;
    @NonNull TT tt2;
    TT tt3;

    public void context() {

        //:: error: (dereference.of.nullable)
        tt1.toString();
        tt2.toString();

        //:: error: (dereference.of.nullable)
        tt3.toString();
    }
}

@SuppressWarnings("initialization.fields.uninitialized")
class GenericBoundsExplicit3<@NonNull TTT extends @NonNull Object> {
    @Nullable TTT ttt1;
    @NonNull TTT ttt2;
    TTT ttt3;

    public void context() {
        //:: error: (dereference.of.nullable)
        ttt1.toString();
        ttt2.toString();
        ttt3.toString();
    }
}