original.name="UnionType_Valid_13"
======
>>> main.whiley


type tenup is int

type msg1 is {tenup op, int[] data}

type msg2 is {int index}

type msgType is msg1 | msg2

function f(msgType m) -> msgType:
    return m

public export method test() :
    msg1 m1 = {op: 11, data: [0;0]}
    msg2 m2 = {index: 1}
    assume f(m1) == {op: 11, data: [0;0]}
    assume f(m2) == {index: 1}

---