whiley_test_file 0.6.2

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


public export method test() :
    int|int[] x
    //
    if 0 == 1:
        x = 1
    else:
        x = [1, 2, 3]
    //
    assume x == [1,2,3]

---