original.name="ArrayAccess_Invalid_1"
======
>>> main.whiley
function f(int[] xs, bool y) -> int:
    return xs[y]

---
E400 main.whiley 2,14