internal/core/adt: do not copy frozen flags

Disjuncts may legitimately add fields that undo the
frozen nature.

This improves the error messages of one other test.

This adds one misaligned counter, which we will
ignore for now.

Fixes #3411

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

Author: mpvl

cue/testdata/cycle/disjunction.txtar

@@ -158,7 +158,6 @@ issue3042.data.secret: conflicting values string and {infra:[{name:"bar1"}]} (mi
     ./issue3042.cue:8:11
 issue3042.data.secret: field not allowed:
     ./issue3042.cue:8:3
-issue3042.data.secret.infra: adding field name not allowed as field set was already referenced
 issue3042.data.secret.infra: conflicting values [{name:"bar1"}] and string (mismatched types list and string):
     ./issue3042.cue:5:12
     ./issue3042.cue:9:11
@@ -277,7 +276,6 @@ Result:
       //     ./issue3042.cue:8:11
       // issue3042.data.secret: field not allowed:
       //     ./issue3042.cue:8:3
-      // issue3042.data.secret.infra: adding field name not allowed as field set was already referenced
       // issue3042.data.secret.infra: conflicting values [{name:"bar1"}] and string (mismatched types list and string):
       //     ./issue3042.cue:5:12
       //     ./issue3042.cue:9:11
@@ -324,7 +322,7 @@ Result:
 diff old new
 --- old
 +++ new
-@@ -1,9 +1,60 @@
+@@ -1,9 +1,59 @@
  Errors:
  cycle.a: structural cycle
 +issue3042.data: conflicting values [...#nesting] and {secret:{infra:[{name:"bar1"}]}} (mismatched types list and struct):
@@ -341,7 +339,6 @@ diff old new
 +    ./issue3042.cue:8:11
 +issue3042.data.secret: field not allowed:
 +    ./issue3042.cue:8:3
-+issue3042.data.secret.infra: adding field name not allowed as field set was already referenced
 +issue3042.data.secret.infra: conflicting values [{name:"bar1"}] and string (mismatched types list and string):
 +    ./issue3042.cue:5:12
 +    ./issue3042.cue:9:11
@@ -386,7 +383,7 @@ diff old new
    cycle: (_|_){
      // [structural cycle]
      a: (_|_){
-@@ -58,22 +109,70 @@
+@@ -58,22 +108,69 @@
      x: (#list){
      }
    }
@@ -424,7 +421,6 @@ diff old new
 +      //     ./issue3042.cue:8:11
 +      // issue3042.data.secret: field not allowed:
 +      //     ./issue3042.cue:8:3
-+      // issue3042.data.secret.infra: adding field name not allowed as field set was already referenced
 +      // issue3042.data.secret.infra: conflicting values [{name:"bar1"}] and string (mismatched types list and string):
 +      //     ./issue3042.cue:5:12
 +      //     ./issue3042.cue:9:11

cue/testdata/eval/disjunctions.txtar

@@ -138,16 +138,21 @@ issue3406: {
 	d: kind: "foo" | "bar"
 	d: { kind: "foo" } | { kind: "bar" }
 }
+-- issue3411.cue --
+issue3411: {
+	x: y?: [...string]
+	x: {y: ["foo"]} | *{y: ["bar"]}
+}
 -- out/eval/stats --
 Leaks:  0
-Freed:  347
-Reused: 335
+Freed:  355
+Reused: 343
 Allocs: 12
 Retain: 0
 
-Unifications: 158
-Conjuncts:    633
-Disjuncts:    347
+Unifications: 164
+Conjuncts:    647
+Disjuncts:    355
 -- out/evalalpha --
 Errors:
 f.name: conflicting values "int" and "str":
@@ -319,6 +324,17 @@ Result:
         kind: (string){ "bar" }
       }) }
   }
+  issue3411: (struct){
+    x: (struct){ |(*(struct){
+        y: (#list){
+          0: (string){ "bar" }
+        }
+      }, (struct){
+        y: (#list){
+          0: (string){ "foo" }
+        }
+      }) }
+  }
 }
 -- diff/-out/evalalpha<==>+out/eval --
 diff old new
@@ -560,6 +576,17 @@ Result:
         kind: (string){ "bar" }
       }) }
   }
+  issue3411: (struct){
+    x: (struct){ |(*(struct){
+        y: (#list){
+          0: (string){ "bar" }
+        }
+      }, (struct){
+        y: (#list){
+          0: (string){ "foo" }
+        }
+      }) }
+  }
 }
 -- out/compile --
 --- in.cue
@@ -762,3 +789,22 @@ Result:
     })
   }
 }
+--- issue3411.cue
+{
+  issue3411: {
+    x: {
+      y?: [
+        ...string,
+      ]
+    }
+    x: ({
+      y: [
+        "foo",
+      ]
+    }|*{
+      y: [
+        "bar",
+      ]
+    })
+  }
+}

internal/core/adt/eval_test.go

@@ -89,6 +89,7 @@ var skipDebugDepErrors = map[string]int{
 	"disjunctions/embed":       6,
 	"disjunctions/errors":      2,
 	"eval/conjuncts":           3,
+	"eval/disjunctions":        1,
 	"eval/issue2146":           4,
 	"eval/issue599":            1,
 	"export/031":               1,

internal/core/adt/overlay.go

@@ -434,8 +434,6 @@ func (ctx *overlayContext) cloneScheduler(dst, src *nodeContext) {
 	ds.completed = ss.completed
 	ds.needs = ss.needs
 	ds.provided = ss.provided
-	ds.frozen = ss.frozen
-	ds.isFrozen = ss.isFrozen
 	ds.counters = ss.counters
 
 	ss.blocking = ss.blocking[:0]