original.name="Subtype_Invalid_4"
js.execute.ignore=true
======
>>> main.whiley
type scf4list is (int[] list) where |list| > 0

function f(scf4list x) -> int:
    return 1

public export method test() :
    int[] x = [0;0]
    f((scf4list) x)
---
E702 main.whiley 8,6:17
E716 main.whiley 8,4:18