original.name="TypeEquals_Invalid_6"
js.execute.ignore=true
======
>>> main.whiley
type pos is (int x) where x > 0
type neg is (int x) where x < 0
type expr is pos | neg

function g(neg x) -> bool:
    return false

function f(expr e):
    if e is pos:
        g((neg) e)

public export method test():
    f((neg) -1)
    f((pos) 1)
---
E702 main.whiley 10,10:16
E716 main.whiley 10,8:17