checker/tests/index/PolyCrash.java - typetools/checker-framework - Git at Google

 public class PolyCrash {
   void test1(Integer integer) {
     ++integer;
   }
 }
	public class PolyCrash {
	void test1(Integer integer) {
	++integer;
	}
	}