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

type irf2nat is (int x) where x > 0

function f(irf2nat x) -> int:
    return x

function g(int x) :
    f((irf2nat) x)

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

---
E702 main.whiley 8,6:16
E716 main.whiley 8,4:17