checker/tests/signedness/Arrays.java - typetools/checker-framework - Git at Google

 public class Arrays {
   void test() {
     Object[] os = new Double[234];
   }
 }
	public class Arrays {
	void test() {
	Object[] os = new Double[234];
	}
	}