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

type c1nat is (int x) where x > 0

type c1pnat is (c1nat x) where x > 1

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

public export method test():
    assume f(-1) == -1

---
E702 main.whiley 7,11:20
E717 main.whiley 7,4:20