tree 13c1f9111334a869d8d7fbae1a12db3976571044
parent b00c91fb0d65c3babef51fa20893c6071d5d642f
author Marcel van Lohuizen <mpvl@golang.org> 1616598598 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1616601836 +0000

internal/core/adt: fix omission of closedness check

Analysis: the comprehension evaluates a with the state AllArcs,
which allows processing to stop and continue later.
The closeness check was only done, though, if a field was
evaluated completely in one go.

The solution is to also do the check in the alternative path,
where the evaluation is delayed due to the usage of AllArcs.

Fixes #852

Change-Id: I0b34b430330befe9170e51c4f7673095c5e42351
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9141
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>