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

 public class ArrayNull {

   Object[][] a = new Object[][] {new Object[] {null}, null};
 }
	public class ArrayNull {

	Object[][] a = new Object[][] {new Object[] {null}, null};
	}