original.name="Template_Invalid_18"
js.execute.ignore=true
======
>>> main.whiley
type NonEmptyArray<T> is (T[] arr) where |arr| > 0

public export method test():
    NonEmptyArray<int> a1 = []
---
E702 main.whiley 4,28:29
E718 main.whiley 4,28:29