FlowConstructor2.java

public class FlowConstructor2 {
    String f;

    public FlowConstructor2() {
        //:: error: (dereference.of.nullable)
        f.hashCode();
    }
}