tree 3fbf54328d618f09e2868dc031644a271e33ff36
parent 4dd963004774abf5a92661c7647b0426bcfc2e01
author Marcel van Lohuizen <mpvl@golang.org> 1579535957 +0100
committer Marcel van Lohuizen <mpvl@golang.org> 1580138693 +0000

cue: add Subsume to replace Subsumes

- API allows distinction between Final and non-Final
- return error

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