| // @skip-test until we solve the underlying issue. The code that caused this to pass has been | |
| // removed, because an incomplete solution that masks the problem but still permits some unsoundness | |
| // is worse than no solution and an obvious issue. | |
| public class Reassignment { | |
| void test(int[] arr, int i) { | |
| if (i > 0 && i < arr.length) { | |
| arr = new int[0]; | |
| // :: error: (array.access.unsafe.high) | |
| int j = arr[i]; | |
| } | |
| } | |
| } |