original.name="Subtype_Valid_6"
======
>>> main.whiley
type sr9nat is int
type sr9tup is {sr9nat f, int g}
type sr9arr is {sr9nat f, int g}[]
public export method test() :
sr9arr x = [{f: 1, g: 2}, {f: 1, g: 8}]
x[0].f = 2
assume x == [{f: 2, g: 2}, {f: 1, g: 8}]
---