whiley_test_file 0.6.2

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


type sr7nat is (int n) where n > 0

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

---