original.name="Subtype_Invalid_1"
js.execute.ignore=true
======
>>> main.whiley

type scf1nat is (int n) where n >= 0

function f(scf1nat x) -> int:
    return x

public export method test() :
    int x = -1
    f((scf1nat) x)
---
E702 main.whiley 9,6:16
E716 main.whiley 9,4:17