original.name="ArrayAccess_Invalid_2"
js.execute.ignore=true
boogie.ignore=false
======
>>> main.whiley

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

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

---
E724 main.whiley 5,14:15
E707 main.whiley 5,14:15