original.name="TypeEquals_Valid_46"
whiley.compile.ignore=true
WhileyCompiler.issue=1003
======
>>> main.whiley


type pos is int

type neg is int

type intlist is pos | neg | int[]

function f(intlist x) -> int:
    if x is int:
        return x
    return 1

public export method test() :
    int x = f([1, 2, 3])
    assume x == 1
    x = f((pos) 123)
    assume x == 123

---