original.name="TupleAssign_Invalid_3"
======
>>> main.whiley
type tac3ta is ({int f1, int f2} _this) where _this.f1 < _this.f2

public export method test():
    {int f1, int f2} x = {f1: 2, f2: 3}
    tac3ta y = {f1: 1, f2: 3}
    x.f1 = 1
    assert x != y
---
E705 main.whiley 7,11:16
E722 main.whiley 7,11:16