Constrain length of incomplete list

[ndrpnt]

Hi, is there a way to constrain a value to be a list of at least 1 integer?

It seems builtins are evaluated even for incomplete types? The following exemple gives me #foo: invalid value [] (does not satisfy list.MinItems(1)):

import "list"

#foo: [...int] & list.MinItems(1)  // This is not valid
bar: #foo & [1, 2, 3]

Thanks

[ndrpnt]

Oh well, this seems to work:

#foo: [int, ...int]
bar: #foo & [1, 2, 3]

Easy!