internal/core/adt: update comments for Subsume
Change-Id: I8fa94733e8f35234b6a7405e17f9fe9a21f4bc53
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/9184
Reviewed-by: Paul Jolly <paul@myitcv.org.uk>
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
diff --git a/cue/types.go b/cue/types.go
index ef0c920..1af4a2a 100644
--- a/cue/types.go
+++ b/cue/types.go
@@ -1716,13 +1716,10 @@
//
// Without options, the entire value is considered for assumption, which means
// Subsume tests whether v is a backwards compatible (newer) API version of w.
-// Use the Final() to indicate that the subsumed value is data, and that
//
// Use the Final option to check subsumption if a w is known to be final,
// and should assumed to be closed.
//
-// Options are currently ignored and the function will panic if any are passed.
-//
// Value v and w must be obtained from the same build.
// TODO: remove this requirement.
func (v Value) Subsume(w Value, opts ...Option) error {
