original.name="Subtype_Invalid_6"
js.execute.ignore=true
======
>>> main.whiley
type scf6nat is (int n) where n > 0
type scf6tup is ({scf6nat f, int g} _this) where _this.g > _this.f

function f(scf6tup x) -> int:
    return x.f

public export method test() :
    {int f, int g} x = {f: 1, g: 2}
    x.f = 2
    f((scf6tup) x)
---
E702 main.whiley 10,6:16
E716 main.whiley 10,4:17