checker/tests/nullness/FlowConstructor2.java - typetools/checker-framework - Git at Google

 public class FlowConstructor2 {
   String f;

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

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