internal/core/adt: add tests for issue 3891

Issue #3891

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

Author: mpvl

cue/testdata/eval/disjunctions.txtar

@@ -294,16 +294,40 @@ issue3899: full: {
 	   deployImage: _versions[spec.image]
    }
 }
+-- issue3891.cue --
+issue3891: reduced: {
+	{x: _} | null
+	{x: _} | null
+	x: *a.y | _
+	a: b
+	b: y: 1
+}
+issue3891: full: {
+	out: #Foo | "never"
+	out: #Foo | "never"
+	out: _fooTemplate & {
+		_input: (_transform & {in: sub1: sub2: "bar"}).out
+	}
+	_transform: {
+		in: _
+		out: in
+	}
+	#Foo: foo?: _
+	_fooTemplate: {
+		_input: _
+		foo: *_input.sub1.sub2 | _
+	}
+}
 -- out/eval/stats --
-Leaks:  36
-Freed:  739
-Reused: 725
-Allocs: 50
-Retain: 95
+Leaks:  40
+Freed:  837
+Reused: 825
+Allocs: 52
+Retain: 130
 
-Unifications: 430
-Conjuncts:    1449
-Disjuncts:    803
+Unifications: 506
+Conjuncts:    1619
+Disjuncts:    936
 -- out/evalalpha --
 Errors:
 f: 2 errors in empty disjunction:
@@ -720,6 +744,36 @@ Result:
         }) }
     }
   }
+  issue3891: (struct){
+    reduced: (struct){
+      x: (_){ _ }
+      a: ~(issue3891.reduced.b)
+      b: (struct){
+        y: (int){ 1 }
+      }
+    }
+    full: (struct){
+      out: (#struct){
+        _input: (struct){
+          sub1: (struct){
+            sub2: (string){ "bar" }
+          }
+        }
+        foo: (_){ _ }
+      }
+      _transform: (struct){
+        in: (_){ _ }
+        out: (_){ _ }
+      }
+      #Foo: (#struct){
+        foo?: (_){ _ }
+      }
+      _fooTemplate: (struct){
+        _input: (_){ _ }
+        foo: (_){ _ }
+      }
+    }
+  }
   issue3899: (struct){
     reduced: (struct){
       p1: (struct){
@@ -849,7 +903,29 @@ diff old new
            x: (bool){ true }
          }) }
        bar: (#struct){ |((#struct){
-@@ -443,14 +422,14 @@
+@@ -436,10 +415,8 @@
+   }
+   issue3891: (struct){
+     reduced: (struct){
+-      x: (_){ |(*(int){ 1 }, (_){ _ }) }
+-      a: (struct){
+-        y: (int){ 1 }
+-      }
++      x: (_){ _ }
++      a: ~(issue3891.reduced.b)
+       b: (struct){
+         y: (int){ 1 }
+       }
+@@ -451,7 +428,7 @@
+             sub2: (string){ "bar" }
+           }
+         }
+-        foo: (_){ |(*(string){ "bar" }, (_){ _ }) }
++        foo: (_){ _ }
+       }
+       _transform: (struct){
+         in: (_){ _ }
+@@ -475,14 +452,14 @@
      }
      full: (struct){
        out: (#struct){
@@ -1313,6 +1389,38 @@ Result:
         }) }
     }
   }
+  issue3891: (struct){
+    reduced: (struct){
+      x: (_){ |(*(int){ 1 }, (_){ _ }) }
+      a: (struct){
+        y: (int){ 1 }
+      }
+      b: (struct){
+        y: (int){ 1 }
+      }
+    }
+    full: (struct){
+      out: (#struct){
+        _input: (struct){
+          sub1: (struct){
+            sub2: (string){ "bar" }
+          }
+        }
+        foo: (_){ |(*(string){ "bar" }, (_){ _ }) }
+      }
+      _transform: (struct){
+        in: (_){ _ }
+        out: (_){ _ }
+      }
+      #Foo: (#struct){
+        foo?: (_){ _ }
+      }
+      _fooTemplate: (struct){
+        _input: (_){ _ }
+        foo: (_){ _ }
+      }
+    }
+  }
   issue3899: (struct){
     reduced: (struct){
       p1: (struct){
@@ -1835,6 +1943,50 @@ Result:
     }
   }
 }
+--- issue3891.cue
+{
+  issue3891: {
+    reduced: {
+      ({
+        x: _
+      }|null)
+      ({
+        x: _
+      }|null)
+      x: (*〈0;a〉.y|_)
+      a: 〈0;b〉
+      b: {
+        y: 1
+      }
+    }
+  }
+  issue3891: {
+    full: {
+      out: (〈0;#Foo〉|"never")
+      out: (〈0;#Foo〉|"never")
+      out: (〈0;_fooTemplate〉 & {
+        _input: (〈1;_transform〉 & {
+          in: {
+            sub1: {
+              sub2: "bar"
+            }
+          }
+        }).out
+      })
+      _transform: {
+        in: _
+        out: 〈0;in〉
+      }
+      #Foo: {
+        foo?: _
+      }
+      _fooTemplate: {
+        _input: _
+        foo: (*〈0;_input〉.sub1.sub2|_)
+      }
+    }
+  }
+}
 --- issue3899.cue
 {
   issue3899: {