internal/core/adt: add test for issue 3332

Issue #3332

Signed-off-by: Marcel van Lohuizen <[email protected]>
Change-Id: I875a3f9d5285bf58b4fb26c3998f70cee31ba484
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1199339
TryBot-Result: CUEcueckoo <[email protected]>
Unity-Result: CUE porcuepine <[email protected]>
Reviewed-by: Daniel Martí <[email protected]>

Author: mpvl

cue/testdata/eval/closedness.txtar

@@ -222,16 +222,26 @@ inline: {
 		age2: 5 // not allowed
 	}
 }
+-- validation.cue --
+import "list"
+
+issue3332: {
+	#def: field: list.MinItems(1)
+	use: #def & {
+	  field: ["value"]
+	}
+}
+
 -- out/eval/stats --
 Leaks:  3
-Freed:  263
-Reused: 255
+Freed:  269
+Reused: 261
 Allocs: 11
 Retain: 29
 
-Unifications: 258
-Conjuncts:    472
-Disjuncts:    292
+Unifications: 264
+Conjuncts:    482
+Disjuncts:    299
 -- out/eval --
 Errors:
 a.q.e: field not allowed:
@@ -763,6 +773,16 @@ Result:
       age2: (int){ 5 }
     }
   }
+  issue3332: (struct){
+    #def: (#struct){
+      field: (list){ list.MinItems(1) }
+    }
+    use: (#struct){
+      field: (#list){
+        0: (string){ "value" }
+      }
+    }
+  }
 }
 -- out/evalalpha --
 Errors:
@@ -790,6 +810,8 @@ inline.err1.age1: field not allowed:
 inline.err2.age2: field not allowed:
     ./reroot.cue:147:8
     ./reroot.cue:149:3
+issue3332.use.field.0: field not allowed:
+    ./validation.cue:6:11
 
 Result:
 (_|_){
@@ -1223,12 +1245,29 @@ Result:
       }
     }
   }
+  issue3332: (_|_){
+    // [eval]
+    #def: (#struct){
+      field: (list){ list.MinItems(1) }
+    }
+    use: (_|_){
+      // [eval]
+      field: (_|_){
+        // [eval] issue3332.use.field.0: field not allowed:
+        //     ./validation.cue:6:11
+        0: (_|_){
+          // [eval] issue3332.use.field.0: field not allowed:
+          //     ./validation.cue:6:11
+        }
+      }
+    }
+  }
 }
 -- diff/-out/evalalpha<==>+out/eval --
 diff old new
 --- old
 +++ new
-@@ -1,66 +1,28 @@
+@@ -1,66 +1,30 @@
  Errors:
 +nested.err1.x.b.f: field not allowed:
 +    ./reroot.cue:114:6
@@ -1308,10 +1347,12 @@ diff old new
 +inline.err2.age2: field not allowed:
 +    ./reroot.cue:147:8
 +    ./reroot.cue:149:3
++issue3332.use.field.0: field not allowed:
++    ./validation.cue:6:11
 
  Result:
  (_|_){
-@@ -76,13 +38,13 @@
+@@ -76,13 +40,13 @@
          }
        }
        #Extended: (#struct){
@@ -1332,7 +1373,7 @@ diff old new
        }
        broken: (#struct){
          name: (string){ "base" }
-@@ -94,13 +56,13 @@
+@@ -94,13 +58,13 @@
          }
        }
        works: (#struct){
@@ -1353,7 +1394,7 @@ diff old new
        }
      }
    }
-@@ -110,8 +72,8 @@
+@@ -110,8 +74,8 @@
    #A: (#struct){
      b: (int){ int }
      q: (#struct){
@@ -1363,7 +1404,7 @@ diff old new
      }
    }
    a: (_|_){
-@@ -120,21 +82,17 @@
+@@ -120,21 +84,17 @@
      q: (_|_){
        // [eval]
        c: (int){ 2 }
@@ -1387,7 +1428,7 @@ diff old new
      //     ./in.cue:28:5
      #A: (#struct){
      }
-@@ -142,8 +100,7 @@
+@@ -142,8 +102,7 @@
        // [eval]
        Foo: (_|_){
          // [eval] issue852.a.Foo: field not allowed:
@@ -1397,7 +1438,7 @@ diff old new
          //     ./in.cue:28:5
        }
      }
-@@ -154,8 +111,8 @@
+@@ -154,8 +113,8 @@
        foo: (int){ int }
      }
      d: (#struct){
@@ -1407,7 +1448,7 @@ diff old new
      }
    }
    issue3330: (struct){
-@@ -211,11 +168,11 @@
+@@ -211,11 +170,11 @@
            g: (#struct){
            }
          }
@@ -1424,7 +1465,7 @@ diff old new
            }
          }
        }
-@@ -261,8 +218,7 @@
+@@ -261,8 +220,7 @@
        }
      }
    }
@@ -1434,7 +1475,7 @@ diff old new
      embed: (struct){
        err1: (struct){
          #A: (#struct){
-@@ -299,17 +255,15 @@
+@@ -299,17 +257,15 @@
              c: (int){ 2 }
            }
          }
@@ -1459,7 +1500,7 @@ diff old new
          X: (struct){
            a: (struct){
              e: (int){ 1 }
-@@ -317,24 +271,13 @@
+@@ -317,24 +273,13 @@
            b: (struct){
            }
          }
@@ -1491,7 +1532,7 @@ diff old new
            }
          }
          #X: (#struct){
-@@ -397,17 +340,11 @@
+@@ -397,17 +342,11 @@
            // [eval]
            f: (_|_){
              // [eval] nested.err1.x.b.f: field not allowed:
@@ -1511,7 +1552,7 @@ diff old new
            }
          }
          v: (_|_){
-@@ -414,27 +351,17 @@
+@@ -414,27 +353,17 @@
            // [eval]
            c: (_|_){
              // [eval]
@@ -1550,7 +1591,7 @@ diff old new
            }
          }
          #V: (_|_){
-@@ -441,25 +368,17 @@
+@@ -441,25 +370,17 @@
            // [eval]
            c: (_|_){
              // [eval]
@@ -1587,7 +1628,7 @@ diff old new
            }
          }
        }
-@@ -469,14 +388,14 @@
+@@ -469,14 +390,14 @@
          }
          v: (#struct){
            c: (#struct){
@@ -1606,7 +1647,7 @@ diff old new
            }
          }
        }
-@@ -499,19 +418,18 @@
+@@ -499,19 +420,18 @@
            // [eval]
            g: (_|_){
              // [eval] nested.err2.x.b.g: field not allowed:
@@ -1633,7 +1674,7 @@ diff old new
      #x: (#struct){
        y: (#struct){
          z?: (#struct){
-@@ -519,13 +437,23 @@
+@@ -519,22 +439,39 @@
          }
        }
      }
@@ -1644,6 +1685,9 @@ diff old new
 -    err2: (struct){
 -      name: (string){ "a" }
 -      age2: (int){ 5 }
+-    }
+-  }
+-  issue3332: (struct){
 +    err1: (_|_){
 +      // [eval]
 +      name: (string){ "a" }
@@ -1661,9 +1705,28 @@ diff old new
 +        //     ./reroot.cue:147:8
 +        //     ./reroot.cue:149:3
 +      }
++    }
++  }
++  issue3332: (_|_){
++    // [eval]
+     #def: (#struct){
+       field: (list){ list.MinItems(1) }
+     }
+-    use: (#struct){
+-      field: (#list){
+-        0: (string){ "value" }
++    use: (_|_){
++      // [eval]
++      field: (_|_){
++        // [eval] issue3332.use.field.0: field not allowed:
++        //     ./validation.cue:6:11
++        0: (_|_){
++          // [eval] issue3332.use.field.0: field not allowed:
++          //     ./validation.cue:6:11
++        }
+       }
      }
    }
- }
 -- diff/todo/p2 --
 Positions / reordering
 
@@ -1963,3 +2026,16 @@ inline.err*.age*: fields are now correctly not allowed.
     })
   }
 }
+--- validation.cue
+{
+  issue3332: {
+    #def: {
+      field: 〈import;list〉.MinItems(1)
+    }
+    use: (〈0;#def〉 & {
+      field: [
+        "value",
+      ]
+    })
+  }
+}