original.name="UnionType_Valid_6"
whiley.compile.ignore=true
WhileyCompiler.issue=1003
======
>>> main.whiley
type ur4nat is int where true
type tur4nat is int where true

type wur4nat is ur4nat | tur4nat

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

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

---