tree b676a85577e60e91926e3472dd49dfca006128b7
parent b25147c31717259f0daec8de3636c1e04968b892
author Marcel van Lohuizen <mpvl@golang.org> 1612726065 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1612794457 +0000

internal/core/adt: fix trim bug

1) Ensure that imports are removed when not needed
(using astutil.Sanitize)

2) ConstraintSpan starts at the arcs of patttern constraints,
not roots. Added mechanism to mark Conjuncts as containing
roots of pattern/additional constraints so that these are
excluded from removal.

Fixes #716

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