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