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


type sr5nat is (int n) where n > 0

public export method test() :
    {sr5nat f} x = {f: 1}
    x.f = 2
    assert x == {f: 2}

---