original.name="ArrayGenerator_Invalid_1"
js.execute.ignore=true
======
>>> main.whiley
function f() -> int[]:
    return [0; -1]

public export method test():
    int[] xs = f()
---
E709 main.whiley 2,15:16
E726 main.whiley 2,15:16