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

 public class CastArray {
   void test(Object a) {
     int[] b = (int[]) a;
   }
 }
	public class CastArray {
	void test(Object a) {
	int[] b = (int[]) a;
	}
	}