tree 5bf78f2a23a86e6f7adaf0fc7928fe59643dc58f
parent c62d8a057ae0e4bd6bd7c379a7eac9b399f83e6d
author Marcel van Lohuizen <mpvl@golang.org> 1610096821 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1610185253 +0000

internal/core/adt: skip partial unify if unnencessary

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