EqualTo.java

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

public class EqualTo {

    //    @Nullable String f;
    //
    //    void t1(@Nullable String g) {
    //        //:: error: (dereference.of.nullable)
    //        g.toLowerCase();
    //        if (g != null) {
    //            g.toLowerCase();
    //        }
    //    }
    //
    //    void t2() {
    //        //:: error: (dereference.of.nullable)
    //        f.toLowerCase();
    //        if (f == null) {} else {
    //            f.toLowerCase();
    //        }
    //    }
    //
    //    void t1b(@Nullable String g) {
    //        //:: error: (dereference.of.nullable)
    //        g.toLowerCase();
    //        if (null != g) {
    //            g.toLowerCase();
    //        }
    //    }
    //
    //    void t2b() {
    //        //:: error: (dereference.of.nullable)
    //        f.toLowerCase();
    //        if (null == f) {} else {
    //            f.toLowerCase();
    //        }
    //    }
}