commit 480e1a1abdde0ebc1ae132e1d3357aabb2c89adf
author Marcel van Lohuizen <mpvl@golang.org> Fri Sep 11 22:51:39 2020 +0200
committer Marcel van Lohuizen <mpvl@golang.org> Sat Sep 12 08:05:21 2020 +0000
tree 59729e3ab3eb1973d69d5f70fb7967cacbe06158
parent ddd99d5d9fb6fe505ec9b41cb4d6ad5a40adff52

internal/core/eval: verify issue 299 if fixed

Fixes #299

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

cue/testdata/builtins/issue299.txtar

diff --git a/cue/testdata/builtins/issue299.txtar b/cue/testdata/builtins/issue299.txtar
new file mode 100644
index 0000000..d6d66ce
--- /dev/null
+++ b/cue/testdata/builtins/issue299.txtar
@@ -0,0 +1,31 @@
+-- in.cue --
+import "list"
+x: list.UniqueItems
+x: [string, ...string]
+x: ["x","x"]
+-- out/eval --
+Errors:
+x: invalid value ["x","x"] (does not satisfy list.UniqueItems)
+
+Result:
+(_|_){
+  // [eval]
+  x: (_|_){
+    // [eval] x: invalid value ["x","x"] (does not satisfy list.UniqueItems)
+    0: (string){ "x" }
+    1: (string){ "x" }
+  }
+}
+-- out/compile --
+--- in.cue
+{
+  x: 〈import;list〉.UniqueItems
+  x: [
+    string,
+    ...string,
+  ]
+  x: [
+    "x",
+    "x",
+  ]
+}