original.name="Infeasible_Function_5"
js.execute.ignore=true
======
>>> main.whiley
function f() -> (int q)
ensures q >= 0 && q < 0:
    return -1

function g(int x) -> (int y)
ensures y >= 0:
    return x

public export method test():
       f()
---
E701 main.whiley 10,7:9
E717 main.whiley 3,4:12