1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// 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}};
}
}
|
