original.name="Array_Invalid_6"
======
>>> main.whiley
function f(int[] a) -> int:
    return a

---
E400 main.whiley 2,11