original.name="Subtype_Invalid_7"
js.execute.ignore=true
======
>>> main.whiley
type scf7nat is (int n) where n < 0
type scf7tup is {scf7nat f}

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

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