original.name="ConstrainedList_Valid_15"
======
>>> main.whiley


function f() -> int[]:
    return ""

public export method test() :
    assume f() == ""

---