tree 35040edc31e650b472618ea67285b098579a3679
parent 008d37d24e452beadafbba5220cf757d66a3bbe3
author Marcel van Lohuizen <mpvl@golang.org> 1609662650 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1610198915 +0000

internal/core/eval: fix result of closed embedding

This brings the implementation in line with the
spec.

Includes a small change to the formulation
in the spec to clarify things. But it doesn't
aim to change the meaning.

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