checker/tests/nullness-invariantarrays/TwoDimensionalArray.java

// @skip-test
// Test case for issue 440: https://github.com/typetools/checker-framework/issues/440

public class TwoDimensionalArray {

  public static void main(String[] args) {
    assert any_null(new Object[][] {null}) == true;
  }

  public static boolean any_null(Object[] a) {
    return true;
  }
}