cmd/cue: confirm issues 1152 and 1153 are fixed

Fixes #1152
Fixes #1153

Signed-off-by: Marcel van Lohuizen <[email protected]>

Change-Id: Ida2ba39e361621dba1c5a14bfa45bae004de893c
Signed-off-by: Marcel van Lohuizen <[email protected]>
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/528037
Reviewed-by: Marcel van Lohuizen <[email protected]>
Unity-Result: CUEcueckoo <[email protected]>
TryBot-Result: CUEcueckoo <[email protected]>

Author: mpvl

cmd/cue/cmd/testdata/script/export_incomplete.txt

@@ -0,0 +1,48 @@
+#Issue 1153
+#Issue 1152
+
+# Default export mode
+! exec cue export x.cue
+stderr 'incomplete'
+
+# JSON
+! exec cue export --out json x.cue
+stderr 'incomplete'
+
+# Yaml
+! exec cue export --out yaml x.cue
+stderr 'incomplete'
+
+# CUE data
+! exec cue export --out cue x.cue
+stderr 'incomplete'
+
+# Concrete
+! exec cue eval -c x.cue
+stderr 'incomplete'
+
+# CUE
+exec cue eval --out cue x.cue
+cmp stdout expect-cue
+
+-- x.cue --
+package foo
+
+#SomeBaseType: {
+	"a" | "b"
+	#AUTO: "z"
+}
+
+V1: ("x" | "y") | *"z"
+V2: ("x" | "y") | *#SomeBaseType.#AUTO
+
+-- expect-cue --
+#SomeBaseType: {
+    "a"
+    #AUTO: "z"
+} | {
+    "b"
+    #AUTO: "z"
+}
+V1: "z"
+V2: "x" | "y"

cue/types_test.go

@@ -2643,6 +2643,19 @@ func TestMarshalJSON(t *testing.T) {
 		y: _
 		`,
 		err: `x: cannot range over y (incomplete type _)`,
+	}, {
+		value: `
+		package foo
+
+		#SomeBaseType: {
+			"a" | "b"
+			#AUTO: "z"
+		}
+
+		V1: ("x" | "y") | *"z"
+		V2: ("x" | "y") | *#SomeBaseType.#AUTO
+		`,
+		err: "cue: marshal error: V2: cannot convert incomplete value \"|((string){ \\\"x\\\" }, (string){ \\\"y\\\" })\" to JSON",
 	}}
 	for i, tc := range testCases {
 		t.Run(fmt.Sprintf("%d/%v", i, tc.value), func(t *testing.T) {