Reassignment.java

// @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.

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];
        }
    }
}