tree 78cf8f212cbd5600809135c956c453a181396084
parent 8e72f0b24c7e6d5f1836f4211c82255b5bdafe7d
author Marcel van Lohuizen <mpvl@golang.org> 1575381021 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1575397087 +0000

cue: fix optional handling in subsumption

Note that it is overly conservative for bulk optionals.
At some point we should endeavor to relax this.

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