checker/tests/nullness/ArrayCreationSubArray.java

// Test case for issue #599:
// https://github.com/typetools/checker-framework/issues/599

// @skip-test Commented out until the bug is fixed

import org.checkerframework.checker.nullness.qual.*;

public class ArrayCreationSubArray {

  void m() {

    Object o1a = new Integer[] {1, 2, null, 3, 4};
    @Nullable Integer[] o1b = new Integer[] {1, 2, null, 3, 4};

    Object o2a = new Object[] {null};
    Object o2b = new @Nullable Object[] {null};

    Object o3a = new Object[][] {new Object[] {null}};
    Object o3b = new Object[][] {new @Nullable Object[] {null}};
    Object o3c = new @Nullable Object[][] {new @Nullable Object[] {null}};
    Object o3d = new Object[][] {{null}};
  }
}