tree 45359c393ac9f9b09520c598c8062be0cb74e26b
parent 3acdde802f2dde399ebcec8e9e436372628ff905
author Marcel van Lohuizen <mpvl@golang.org> 1595175878 +0200
committer Marcel van Lohuizen <mpvl@golang.org> 1595489765 +0000

internal/core/eval: fix Environment linkage for Disjunctions

The Vertex value for a disjunction is copied into another value
causing the Vertex links in the Environment to point to the wrong
node. This causes args to be missed when resolving.

Ideally the node should not be copied, but as we don't dereferenece,
the pointer value needs to be exactly what it is now.

A better solution perhaps would be to implement dereferencing.

Note that this bug is only exposed through API usage, as during normal
evaluation only DisjunctionExprs will be used in computation.

This will break OpenAPI if not done correctly.

Change-Id: I6a780dc11c7f44ca9a47c4838ea2502371bf7505
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/6647
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>