Open myitcv opened 1 month ago
Theoretically this is not an error. It basically is an elaborate way of specifying that x
must be the empty list.
I agree that vet
could be stricter and give more useful user feedback, but as of now vet
does not do that yet.
What version of CUE are you using (
cue version
)?Does this issue reproduce with the latest release?
Yes
What did you do?
What did you expect to see?
Passing test.
What did you see instead?
i.e. there is currently no error as a result of this conjunction when there should be. Indeed it is impossible to produce anything other than an zero-element list with this construction.
Note that when we have fixed this issue we should also ensure that https://github.com/cue-lang/cue/issues/1654 is fixed.