original.name="ConstrainedInt_Invalid_6"
js.execute.ignore=true
======
>>> main.whiley
type c3num is (int x) where 1 <= x && x <= 4

function f(c3num x) -> int:
    int y = x
    return y

function g(int z) -> int:
    return f((c3num) z)

public export method test():
       assume g(1) == 1
       assume g(2) == 2
       assume g(3) == 3
       assume g(4) == 4
       assume g(5) == 5
---
E702 main.whiley 8,13:21
E716 main.whiley 8,11:22