original.name="UnionType_Valid_5"
======
>>> main.whiley
type ur4nat is (int x) where x > 0
type tur4nat is (int x) where x > 10

type wur4nat is ur4nat | tur4nat

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

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

---