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

type odd is (int x) where x == 1 || x == 3 || x == 5

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

public export method test():
    int y = 2
    assume f((odd) y) == 2

---
E702 main.whiley 9,13:19
E716 main.whiley 9,11:20