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

method test(&Point ptr):
    int x = ptr->x
    // break invariant
    ptr->x = 1
    // restore invariant
    ptr->x = x

public export method test():
   test(new {x:1,y:2})
   test(new {x:0,y:1})
---
E702 main.whiley 6,13
E718 main.whiley 6,13