cue: add test cases

Change-Id: I175bbe23fb76968dd530a292f2400c8d23039097
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/6565
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>

cue/types_test.go

@@ -164,6 +164,11 @@ func TestValueType(t *testing.T) {
 		incompleteKind: ListKind,
 		concrete:       true,
 		closed:         true,
+	}, {
+		value:          `v: [...int]`,
+		kind:           BottomKind,
+		incompleteKind: ListKind,
+		concrete:       false,
 	}, {
 		value:    `v: {a: int, b: [1][a]}.b`,
 		kind:     BottomKind,
@@ -2384,6 +2389,22 @@ func TestPathCorrection(t *testing.T) {
 			return a[0]
 		},
 		want: "T",
+	}, {
+		input: `
+			#S: {
+				b?: [...#T]
+				b?: [...#T]
+			}
+			#T: int
+			`,
+		lookup: func(i *Instance) Value {
+			v := i.LookupDef("#S")
+			f, _ := v.LookupField("b")
+			v, _ = f.Value.Elem()
+			_, a := v.Expr()
+			return a[0]
+		},
+		want: "#T",
 	}, {
 		input: `
 			#a: {
@@ -2724,6 +2745,15 @@ func TestExpr(t *testing.T) {
 	}, {
 		input: `v: "Hello, \(x)! Welcome to \(place)", place: string, x: string`,
 		want:  `\()("Hello, " .(<0> "x") "! Welcome to " .(<0> "place") "")`,
+	}, {
+		input: `v: { a, b: 1 }, a: 2`,
+		want:  `&(<0>{b: 1} .(<0> "a"))`,
+	}, {
+		input: `v: { {c: a}, b: a }, a: int`,
+		want:  `&(<0>{b: <1>.a} <0>{c: <1>.a})`,
+	}, {
+		input: `v: [...number] | *[1, 2, 3]`,
+		want:  `([, ...number] | *[1,2,3])`,
 	}}
 	for _, tc := range testCases {
 		t.Run(tc.input, func(t *testing.T) {