original.name="Subtype_Invalid_11"
js.execute.ignore=true
======
>>> main.whiley
type tup is {int x, int y} where x < y

public export method test():
    tup t = {x:0,y:1}
    //
    t.x = 1
    //
    assume t == {x:1,y:1}
---
E702 main.whiley 6,10
E718 main.whiley 6,10