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