whiley_test_file 0.6.2

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


type tac1tup is ({int f1, int f2} _this) where _this.f1 < _this.f2

function f() -> tac1tup:
    return {f1: 2, f2: 3}

public export method test() :
    tac1tup x = f()
    x.f1 = x.f2 - 2
    assert x.f1 != x.f2
    assume x == {f1: 1, f2: 3}

---