original.name="Infeasible_Constant_1"
js.execute.ignore=true
======
>>> main.whiley
type nat is (int x) where x >= 0

final nat x = -1

// This function should not be provable.
function f() -> (int r)
ensures r >= 0:
    return x

---
E702 main.whiley 3,6:16
E718 main.whiley 3,14:15