whiley_test_file 0.6.2

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

type bintref is ((&bool)|(&int) n)

method main(bintref ptr):
    //
    if ptr is &int:
        (*ptr) = 123
    //
    assume ptr is &bool || *ptr == 123

public export method test() :
    main(new 0)
    

---