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


type sr8nat is int

type sr8tup is {sr8nat f, int g}

public export method test() :
    sr8tup[] x = [{f: 1, g: 3}, {f: 4, g: 8}]
    x[0].f = 2
    assume x == [{f: 2, g: 3}, {f: 4, g: 8}]

---