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

function f(int x) -> (int y)
requires (x + 1) > 0
ensures y < 0:
    //
    return -1

public export method test() :
    f(-1)

---
E700 main.whiley 9,4:8
E716 main.whiley 9,4:8