whiley_test_file 0.6.2

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


type sr4list is (int[] xs) where |xs| > 0

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

---