original.name="For_Invalid_7"
js.execute.ignore=true
======
>>> main.whiley
method f(int[] xs):
    int r = 0
    //
    for i in 0..5:
        r = r + xs[i]

public export method test():
     f([0,1,2,3,4])
     f([0])
---
E708 main.whiley 5,19
E725 main.whiley 5,19