framework/tests/framework/MissingSymbolCrash.java - typetools/checker-framework - Git at Google

 // :: error: (type.checking.not.run)
 public class MissingSymbolCrash {
   public void test() {
     // :: error: cannot find symbol
     lst.add(s);
   }
 }
	// :: error: (type.checking.not.run)
	public class MissingSymbolCrash {
	public void test() {
	// :: error: cannot find symbol
	lst.add(s);
	}
	}