tree 0da55d519d529493e676ee1a9efbfbc4dfbe4f4d
parent dcf932f339c68a985aecee40894562cd92b30118
author Marcel van Lohuizen <mpvl@golang.org> 1615101556 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1615108642 +0000

internal/core/adt: don't eliminate incomplete disjuncts prematurely

Fixes #782

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