internal/core/subsume: tests embeded scalars
Change-Id: I165b9382eda4211c491ae81f088ccd8258ea569d
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/7783
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
diff --git a/internal/core/subsume/value_test.go b/internal/core/subsume/value_test.go
index 06bea8a..14b8b46 100644
--- a/internal/core/subsume/value_test.go
+++ b/internal/core/subsume/value_test.go
@@ -312,6 +312,17 @@
// 447: {subsumes: true, in: `a: {}, b: close({})`, mode: subNoOptional},
// 448: {subsumes: true, in: `a: {}, b: close({foo?: 1})`, mode: subNoOptional},
+ // embedded scalars
+ 460: {subsumes: true, in: `a: {1, #foo: number}, b: {1, #foo: 1}`},
+ 461: {subsumes: true, in: `a: {1, #foo?: number}, b: {1, #foo: 1}`},
+ 462: {subsumes: true, in: `a: {1, #foo?: number}, b: {1, #foo?: 1}`},
+ 463: {subsumes: false, in: `a: {1, #foo: number}, b: {1, #foo?: 1}`},
+
+ 464: {subsumes: true, in: `a: {int, #foo: number}, b: {1, #foo: 1}`},
+ 465: {subsumes: false, in: `a: {int, #foo: 1}, b: {1, #foo: number}`},
+ 466: {subsumes: false, in: `a: {1, #foo: number}, b: {int, #foo: 1}`},
+ 467: {subsumes: false, in: `a: {1, #foo: 1}, b: {int, #foo: number}`},
+
// Lists
506: {subsumes: true, in: `a: [], b: [] `},
507: {subsumes: true, in: `a: [1], b: [1] `},