original.name="ArrayAccess_Invalid_4"
js.execute.ignore=true
======
>>> main.whiley

function f(int[] x) -> bool:
    int y = x[0]
    int z = x[1]
    assert y == z
    return false

public export method test():
    assume f([1])

---
E725 main.whiley 3,14
E708 main.whiley 4,14