whiley_test_file 0.6.2

original.name="Assign_Invalid_9"
======
>>> main.whiley
function f(int[] xs) -> int:
    if |xs| == 0:
        return 0
    else:
        xs[0] = false
        return 1

---
E400 main.whiley 5,16:20