original.name="Quantifiers_Invalid_1"
js.execute.ignore=true
======
>>> main.whiley

function f(int[] ls) -> bool
requires some { i in 0..|ls| | ls[i] < 0 }:
    return true

public export method test() :
    f([-1])
    f([0,1,-1])
    f([0,1,-2,1])
    f([1, 2, 3])
---
E700 main.whiley 10,4:15
E716 main.whiley 10,4:15