1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
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}] ---