tree 59c935b076a64bed99fc7a963e0272028043b168
parent 2601ab8d8745b7e1aa496dbf358dd58bfea688ec
author Marcel van Lohuizen <mpvl@golang.org> 1554287057 +0200
committer Marcel van Lohuizen <mpvl@google.com> 1554374350 +0000

cue: implement rewrite for unification type

This may be triggered as bounds are hard-coded
as unification and may be rewritten pre-evaluation.

Change-Id: I179775d885761a72dc933f7cc7629ccf7c9224d2
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/1780
Reviewed-by: Marcel van Lohuizen <mpvl@google.com>