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


type sr4list is int[]

public export method test() :
    sr4list x = [1]
    assert x == [1]

---