internal/core/adt: add test to prepare for fix

Signed-off-by: Marcel van Lohuizen <[email protected]> Change-Id: I18db75a38647d7d9d2f782a3e9c11fb5ec62abec Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1172012 Unity-Result: CUE porcuepine <[email protected]> Reviewed-by: Daniel Martí <[email protected]> TryBot-Result: CUEcueckoo <[email protected]>
cue-lang · Dec 1, 2023 · 145764d · 145764d
1 parent 16a0cda
commit 145764d
Showing 1 changed file with 31 additions and 8 deletions.
diff --git a/cue/testdata/comprehensions/issue293.txtar b/cue/testdata/comprehensions/issue293.txtar
@@ -24,16 +24,22 @@ t: #C
 	}
 }
 t: p: "foo"
+
+-- variant1.cue --
+#V1: {
+	x: close({ f1: int })
+	x: f2: 2 // TODO: fail
+}
 -- out/eval/stats --
-Leaks:  2
-Freed:  12
-Reused: 8
-Allocs: 6
-Retain: 3
+Leaks:  3
+Freed:  16
+Reused: 12
+Allocs: 7
+Retain: 4
 
-Unifications: 14
-Conjuncts:    25
-Disjuncts:    15
+Unifications: 19
+Conjuncts:    33
+Disjuncts:    20
 -- out/eval --
 Errors:
 z.x.f2: field not allowed:
@@ -70,6 +76,12 @@ Result:
   #C: (#struct){
     p: (_){ _ }
   }
+  #V1: (#struct){
+    x: (#struct){
+      f1: (int){ int }
+      f2: (int){ 2 }
+    }
+  }
 }
 -- out/compile --
 --- in.cue
@@ -98,3 +110,14 @@ Result:
     p: "foo"
   }
 }
+--- variant1.cue
+{
+  #V1: {
+    x: close({
+      f1: int
+    })
+    x: {
+      f2: 2
+    }
+  }
+}