cuelang.org/go@v0.10.1/cue/testdata/cycle/evaluate.txtar

-- in.cue --
// All these cases whose name end with cycle should fail with a structural
// error. These are all uncommon code paths, triggered when container types
// are evalated within a nested expression such as as an argument to a
// function call.
//
// The builtins are typically used to trigger the uncommon path. The choice of
// builtin is irrelevant, as long as they don't finalize args before processing.

// This is a resolvable reference cycle, were b is equated to c.
letCycleOK: t1: {
	b: c
	let X = b
	c: X
}

// The let has structural cycle, but it is only used in a way that the
// structural cycle is avoided.
letCycleOK: t2: {
	a: {
		b: 1
		let X = a
		c: X.b
	}
}

// Ensure that the cycle exemption algorithm does not bypass actual structural
// cycles.
letCycleFail: t1: {
	a: {
		b: 1
		let X = a
		c: X
	}
}

// Cycles should also be detected in evaluation paths that descend into
// recursion at non-field boundaries.
letCycleFail: t2: {
	a: {
		let X = a
		if X == _|_ { }
		x: y: ""
	}
}

listCycleOK: {
	a: b
	b: and([c])
	c: a
}

disjunctionCycle: {
	a: b
	b: and(1 | c)
	c: a
}

forCycle: {
	#A: a: #B // TODO(errors): Correct error position.
	#B: or([for x in #A { b: x }])
}

letCycleWithAnd: {
	a: d: b
	b: and([for x in a let y = x { y }])
	c: a
}

closeCycle: {
	a: b
	b: close({d: c})
	c: a
}

structCycle: {
	a: b
	b: and([{d: c}])
	c: a
}

embedCycle: {
	a: b
	b: close({c})
	c: a
}

listAddCycle: {
	a: b
	b: [c] + [c]
	c: a
}

listMulCycle: {
	a: b
	b: 3 + [{a: b: c}]
	c: a
}

// consult the correct closeness info in the face of it being passed down
// from parent.
closeFail: {
	#T: [_]: _
	#T: close({"a": string})
	x:  #T
	x: b: "foo"
}

printCycle: {
	a: {
		X: a
		if X {
		}
	}
}
-- out/eval/stats --
Leaks:  59
Freed:  92
Reused: 89
Allocs: 62
Retain: 129

Unifications: 139
Conjuncts:    274
Disjuncts:    160
-- out/evalalpha --
Errors:
letCycleOK.t2.a.X: structural cycle:
    ./in.cue:22:6
letCycleFail.t1.a.X: structural cycle:
    ./in.cue:32:6
listCycleOK.0: structural cycle:
    ./in.cue:48:9
disjunctionCycle.b: cannot use 1 (type int) as list in argument 1 to and:
    ./in.cue:54:9
forCycle.0.b: structural cycle:
    ./in.cue:60:9
letCycleWithAnd.0: structural cycle:
    ./in.cue:65:9
closeCycle.d: structural cycle:
    ./in.cue:71:11
structCycle.0.d: structural cycle:
    ./in.cue:77:9
embedCycle: structural cycle:
    ./in.cue:83:11
listAddCycle.0: structural cycle:
    ./in.cue:89:5
listAddCycle.0: structural cycle:
    ./in.cue:89:11
listMulCycle.0.a.b: structural cycle:
    ./in.cue:95:9
closeFail.x.b: field not allowed:
    ./in.cue:103:6
    ./in.cue:102:6
    ./in.cue:105:5
printCycle.a: cannot use {X:~(printCycle.a)} (type struct) as type bool:
    ./in.cue:111:3

Result:
(_|_){
  // [eval]
  letCycleOK: (_|_){
    // [structural cycle]
    t1: (struct){
      b: (_){ _ }
      let X#1 = (_){ _ }
      c: (_){ _ }
    }
    t2: (_|_){
      // [structural cycle]
      a: (_|_){
        // [structural cycle]
        b: (int){ 1 }
        let X#2 = (_|_){
          // [structural cycle] letCycleOK.t2.a.X: structural cycle
        }
        c: (_|_){
          // [structural cycle] letCycleOK.t2.a.X: structural cycle:
          //     ./in.cue:22:6
        }
      }
    }
  }
  letCycleFail: (_|_){
    // [structural cycle]
    t1: (_|_){
      // [structural cycle]
      a: (_|_){
        // [structural cycle]
        b: (int){ 1 }
        let X#3 = (_|_){
          // [structural cycle] letCycleFail.t1.a.X: structural cycle
        }
        c: (_|_){
          // [structural cycle] letCycleFail.t1.a.X: structural cycle:
          //     ./in.cue:32:6
        }
      }
    }
    t2: (struct){
      a: (struct){
        let X#4 = (struct){
          let X#4 = (_|_){
            // [structural cycle] letCycleFail.t2.a.X.X: structural cycle:
            //     ./in.cue:41:6
          }
          x: (struct){
            y: (string){ "" }
          }
        }
        x: (struct){
          y: (string){ "" }
        }
      }
    }
  }
  listCycleOK: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle] listCycleOK.0: structural cycle:
      //     ./in.cue:48:9
    }
    b: (_|_){
      // [structural cycle] listCycleOK.0: structural cycle:
      //     ./in.cue:48:9
    }
    c: (_|_){
      // [structural cycle] listCycleOK.0: structural cycle:
      //     ./in.cue:48:9
    }
  }
  disjunctionCycle: (_|_){
    // [eval]
    a: (_|_){
      // [eval] disjunctionCycle.b: cannot use 1 (type int) as list in argument 1 to and:
      //     ./in.cue:54:9
    }
    b: (_|_){
      // [eval] disjunctionCycle.b: cannot use 1 (type int) as list in argument 1 to and:
      //     ./in.cue:54:9
    }
    c: (_|_){
      // [eval] disjunctionCycle.b: cannot use 1 (type int) as list in argument 1 to and:
      //     ./in.cue:54:9
    }
  }
  forCycle: (_|_){
    // [structural cycle]
    #A: (_|_){
      // [structural cycle]
      a: (_|_){
        // [structural cycle] forCycle.0.b: structural cycle:
        //     ./in.cue:60:9
      }
    }
    #B: (_|_){
      // [structural cycle] forCycle.0.b: structural cycle:
      //     ./in.cue:60:9
    }
  }
  letCycleWithAnd: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle]
      d: (_|_){
        // [structural cycle] letCycleWithAnd.0: structural cycle:
        //     ./in.cue:65:9
      }
    }
    b: (_|_){
      // [structural cycle] letCycleWithAnd.0: structural cycle:
      //     ./in.cue:65:9
    }
    c: (_|_){
      // [structural cycle]
      d: (_|_){
        // [structural cycle] letCycleWithAnd.0: structural cycle:
        //     ./in.cue:65:9
      }
    }
  }
  closeCycle: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle] closeCycle.d: structural cycle:
      //     ./in.cue:71:11
    }
    b: (_|_){
      // [structural cycle] closeCycle.d: structural cycle:
      //     ./in.cue:71:11
    }
    c: (_|_){
      // [structural cycle] closeCycle.d: structural cycle:
      //     ./in.cue:71:11
    }
  }
  structCycle: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle] structCycle.0.d: structural cycle:
      //     ./in.cue:77:9
    }
    b: (_|_){
      // [structural cycle] structCycle.0.d: structural cycle:
      //     ./in.cue:77:9
    }
    c: (_|_){
      // [structural cycle] structCycle.0.d: structural cycle:
      //     ./in.cue:77:9
    }
  }
  embedCycle: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle] embedCycle: structural cycle:
      //     ./in.cue:83:11
    }
    b: (_|_){
      // [structural cycle] embedCycle: structural cycle:
      //     ./in.cue:83:11
    }
    c: (_|_){
      // [structural cycle] embedCycle: structural cycle:
      //     ./in.cue:83:11
    }
  }
  listAddCycle: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle] listAddCycle.0: structural cycle:
      //     ./in.cue:89:5
      // listAddCycle.0: structural cycle:
      //     ./in.cue:89:11
    }
    b: (_|_){
      // [structural cycle] listAddCycle.0: structural cycle:
      //     ./in.cue:89:5
      // listAddCycle.0: structural cycle:
      //     ./in.cue:89:11
    }
    c: (_|_){
      // [structural cycle] listAddCycle.0: structural cycle:
      //     ./in.cue:89:5
      // listAddCycle.0: structural cycle:
      //     ./in.cue:89:11
    }
  }
  listMulCycle: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle] listMulCycle.0.a.b: structural cycle:
      //     ./in.cue:95:9
    }
    b: (_|_){
      // [structural cycle] listMulCycle.0.a.b: structural cycle:
      //     ./in.cue:95:9
    }
    c: (_|_){
      // [structural cycle] listMulCycle.0.a.b: structural cycle:
      //     ./in.cue:95:9
    }
  }
  closeFail: (_|_){
    // [eval]
    #T: (#struct){
      a: (string){ string }
    }
    x: (_|_){
      // [eval]
      b: (_|_){
        // [eval] closeFail.x.b: field not allowed:
        //     ./in.cue:103:6
        //     ./in.cue:102:6
        //     ./in.cue:105:5
      }
      a: (string){ string }
    }
  }
  printCycle: (_|_){
    // [eval]
    a: (_|_){
      // [eval] printCycle.a: cannot use {X:~(printCycle.a)} (type struct) as type bool:
      //     ./in.cue:111:3
      X: ~(printCycle.a)
    }
  }
}
-- diff/-out/evalalpha<==>+out/eval --
diff old new
--- old
+++ new
@@ -1,61 +1,57 @@
 Errors:
-closeCycle.a: structural cycle
-closeCycle.b.d: structural cycle
-closeFail.x.b: field not allowed:
-    ./in.cue:102:6
-    ./in.cue:103:12
-    ./in.cue:104:6
-    ./in.cue:105:5
-letCycleFail.t1.a.c: structural cycle
-listAddCycle.a: structural cycle
-listAddCycle.b.0.0: structural cycle
-listAddCycle.b.0.1: structural cycle
-structCycle.a: structural cycle
-structCycle.b.d: structural cycle
-disjunctionCycle.a: cannot use 1 (type int) as list in argument 1 to and:
-    ./in.cue:54:9
+letCycleOK.t2.a.X: structural cycle:
+    ./in.cue:22:6
+letCycleFail.t1.a.X: structural cycle:
+    ./in.cue:32:6
+listCycleOK.0: structural cycle:
+    ./in.cue:48:9
 disjunctionCycle.b: cannot use 1 (type int) as list in argument 1 to and:
     ./in.cue:54:9
-disjunctionCycle.c: cannot use 1 (type int) as list in argument 1 to and:
-    ./in.cue:54:9
-b: structural cycle:
-    ./in.cue:60:6
-closeCycle.c: structural cycle:
-    ./in.cue:71:15
-structCycle.c: structural cycle:
-    ./in.cue:77:14
+forCycle.0.b: structural cycle:
+    ./in.cue:60:9
+letCycleWithAnd.0: structural cycle:
+    ./in.cue:65:9
+closeCycle.d: structural cycle:
+    ./in.cue:71:11
+structCycle.0.d: structural cycle:
+    ./in.cue:77:9
 embedCycle: structural cycle:
     ./in.cue:83:11
-listAddCycle.c: structural cycle:
-    ./in.cue:89:6
-listMulCycle.a: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
-    ./in.cue:95:5
-    ./in.cue:95:9
-listMulCycle.b: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
-    ./in.cue:95:5
-    ./in.cue:95:9
-listMulCycle.c: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
-    ./in.cue:95:5
-    ./in.cue:95:9
-printCycle.a.X.X: structural cycle:
-    ./in.cue:111:6
+listAddCycle.0: structural cycle:
+    ./in.cue:89:5
+listAddCycle.0: structural cycle:
+    ./in.cue:89:11
+listMulCycle.0.a.b: structural cycle:
+    ./in.cue:95:9
+closeFail.x.b: field not allowed:
+    ./in.cue:103:6
+    ./in.cue:102:6
+    ./in.cue:105:5
+printCycle.a: cannot use {X:~(printCycle.a)} (type struct) as type bool:
+    ./in.cue:111:3
 
 Result:
 (_|_){
   // [eval]
-  letCycleOK: (struct){
+  letCycleOK: (_|_){
+    // [structural cycle]
     t1: (struct){
       b: (_){ _ }
       let X#1 = (_){ _ }
       c: (_){ _ }
     }
-    t2: (struct){
-      a: (struct){
+    t2: (_|_){
+      // [structural cycle]
+      a: (_|_){
+        // [structural cycle]
         b: (int){ 1 }
         let X#2 = (_|_){
           // [structural cycle] letCycleOK.t2.a.X: structural cycle
         }
-        c: (int){ 1 }
+        c: (_|_){
+          // [structural cycle] letCycleOK.t2.a.X: structural cycle:
+          //     ./in.cue:22:6
+        }
       }
     }
   }
@@ -70,7 +66,8 @@
           // [structural cycle] letCycleFail.t1.a.X: structural cycle
         }
         c: (_|_){
-          // [structural cycle] letCycleFail.t1.a.c: structural cycle
+          // [structural cycle] letCycleFail.t1.a.X: structural cycle:
+          //     ./in.cue:32:6
         }
       }
     }
@@ -91,23 +88,33 @@
       }
     }
   }
-  listCycleOK: (struct){
-    a: (_){ _ }
-    b: (_){ _ }
-    c: (_){ _ }
+  listCycleOK: (_|_){
+    // [structural cycle]
+    a: (_|_){
+      // [structural cycle] listCycleOK.0: structural cycle:
+      //     ./in.cue:48:9
+    }
+    b: (_|_){
+      // [structural cycle] listCycleOK.0: structural cycle:
+      //     ./in.cue:48:9
+    }
+    c: (_|_){
+      // [structural cycle] listCycleOK.0: structural cycle:
+      //     ./in.cue:48:9
+    }
   }
   disjunctionCycle: (_|_){
     // [eval]
     a: (_|_){
-      // [eval] disjunctionCycle.a: cannot use 1 (type int) as list in argument 1 to and:
-      //     ./in.cue:54:9
-    }
-    b: (_|_){
-      // [eval] disjunctionCycle.b: cannot use 1 (type int) as list in argument 1 to and:
-      //     ./in.cue:54:9
-    }
-    c: (_|_){
-      // [eval] disjunctionCycle.c: cannot use 1 (type int) as list in argument 1 to and:
+      // [eval] disjunctionCycle.b: cannot use 1 (type int) as list in argument 1 to and:
+      //     ./in.cue:54:9
+    }
+    b: (_|_){
+      // [eval] disjunctionCycle.b: cannot use 1 (type int) as list in argument 1 to and:
+      //     ./in.cue:54:9
+    }
+    c: (_|_){
+      // [eval] disjunctionCycle.b: cannot use 1 (type int) as list in argument 1 to and:
       //     ./in.cue:54:9
     }
   }
@@ -116,24 +123,33 @@
     #A: (_|_){
       // [structural cycle]
       a: (_|_){
-        // [structural cycle] b: structural cycle:
-        //     ./in.cue:60:6
+        // [structural cycle] forCycle.0.b: structural cycle:
+        //     ./in.cue:60:9
       }
     }
     #B: (_|_){
-      // [structural cycle] b: structural cycle:
-      //     ./in.cue:60:6
-    }
-  }
-  letCycleWithAnd: (struct){
-    a: (struct){
-      d: (struct){
-      }
-    }
-    b: (struct){
-    }
-    c: (struct){
-      d: (struct){
+      // [structural cycle] forCycle.0.b: structural cycle:
+      //     ./in.cue:60:9
+    }
+  }
+  letCycleWithAnd: (_|_){
+    // [structural cycle]
+    a: (_|_){
+      // [structural cycle]
+      d: (_|_){
+        // [structural cycle] letCycleWithAnd.0: structural cycle:
+        //     ./in.cue:65:9
+      }
+    }
+    b: (_|_){
+      // [structural cycle] letCycleWithAnd.0: structural cycle:
+      //     ./in.cue:65:9
+    }
+    c: (_|_){
+      // [structural cycle]
+      d: (_|_){
+        // [structural cycle] letCycleWithAnd.0: structural cycle:
+        //     ./in.cue:65:9
       }
     }
   }
@@ -140,33 +156,31 @@
   closeCycle: (_|_){
     // [structural cycle]
     a: (_|_){
-      // [structural cycle] closeCycle.a: structural cycle
-    }
-    b: (_|_){
-      // [structural cycle]
-      d: (_|_){
-        // [structural cycle] closeCycle.b.d: structural cycle
-      }
-    }
-    c: (_|_){
-      // [structural cycle] closeCycle.c: structural cycle:
-      //     ./in.cue:71:15
+      // [structural cycle] closeCycle.d: structural cycle:
+      //     ./in.cue:71:11
+    }
+    b: (_|_){
+      // [structural cycle] closeCycle.d: structural cycle:
+      //     ./in.cue:71:11
+    }
+    c: (_|_){
+      // [structural cycle] closeCycle.d: structural cycle:
+      //     ./in.cue:71:11
     }
   }
   structCycle: (_|_){
     // [structural cycle]
     a: (_|_){
-      // [structural cycle] structCycle.a: structural cycle
-    }
-    b: (_|_){
-      // [structural cycle]
-      d: (_|_){
-        // [structural cycle] structCycle.b.d: structural cycle
-      }
-    }
-    c: (_|_){
-      // [structural cycle] structCycle.c: structural cycle:
-      //     ./in.cue:77:14
+      // [structural cycle] structCycle.0.d: structural cycle:
+      //     ./in.cue:77:9
+    }
+    b: (_|_){
+      // [structural cycle] structCycle.0.d: structural cycle:
+      //     ./in.cue:77:9
+    }
+    c: (_|_){
+      // [structural cycle] structCycle.0.d: structural cycle:
+      //     ./in.cue:77:9
     }
   }
   embedCycle: (_|_){
@@ -187,43 +201,36 @@
   listAddCycle: (_|_){
     // [structural cycle]
     a: (_|_){
-      // [structural cycle] listAddCycle.a: structural cycle
-    }
-    b: (_|_){
-      // [structural cycle]
-      0: (_|_){
-        // [structural cycle]
-        0: (_|_){
-          // [structural cycle] listAddCycle.b.0.0: structural cycle
-        }
-        1: (_|_){
-          // [structural cycle] listAddCycle.b.0.1: structural cycle
-        }
-      }
-      1: (_|_){
-        // [structural cycle]
-      }
-    }
-    c: (_|_){
-      // [structural cycle] listAddCycle.c: structural cycle:
-      //     ./in.cue:89:6
+      // [structural cycle] listAddCycle.0: structural cycle:
+      //     ./in.cue:89:5
+      // listAddCycle.0: structural cycle:
+      //     ./in.cue:89:11
+    }
+    b: (_|_){
+      // [structural cycle] listAddCycle.0: structural cycle:
+      //     ./in.cue:89:5
+      // listAddCycle.0: structural cycle:
+      //     ./in.cue:89:11
+    }
+    c: (_|_){
+      // [structural cycle] listAddCycle.0: structural cycle:
+      //     ./in.cue:89:5
+      // listAddCycle.0: structural cycle:
+      //     ./in.cue:89:11
     }
   }
   listMulCycle: (_|_){
-    // [eval]
-    a: (_|_){
-      // [eval] listMulCycle.a: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
-      //     ./in.cue:95:5
-      //     ./in.cue:95:9
-    }
-    b: (_|_){
-      // [eval] listMulCycle.b: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
-      //     ./in.cue:95:5
-      //     ./in.cue:95:9
-    }
-    c: (_|_){
-      // [eval] listMulCycle.c: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
-      //     ./in.cue:95:5
+    // [structural cycle]
+    a: (_|_){
+      // [structural cycle] listMulCycle.0.a.b: structural cycle:
+      //     ./in.cue:95:9
+    }
+    b: (_|_){
+      // [structural cycle] listMulCycle.0.a.b: structural cycle:
+      //     ./in.cue:95:9
+    }
+    c: (_|_){
+      // [structural cycle] listMulCycle.0.a.b: structural cycle:
       //     ./in.cue:95:9
     }
   }
@@ -234,21 +241,21 @@
     }
     x: (_|_){
       // [eval]
-      a: (string){ string }
       b: (_|_){
         // [eval] closeFail.x.b: field not allowed:
+        //     ./in.cue:103:6
         //     ./in.cue:102:6
-        //     ./in.cue:103:12
-        //     ./in.cue:104:6
         //     ./in.cue:105:5
       }
+      a: (string){ string }
     }
   }
   printCycle: (_|_){
-    // [structural cycle]
-    a: (_|_){
-      // [structural cycle] printCycle.a.X.X: structural cycle:
-      //     ./in.cue:111:6
+    // [eval]
+    a: (_|_){
+      // [eval] printCycle.a: cannot use {X:~(printCycle.a)} (type struct) as type bool:
+      //     ./in.cue:111:3
+      X: ~(printCycle.a)
     }
   }
 }
-- diff/todo/p1 --
letCycleOK.t2: spurious error
listCycleOK: spurious error ("and" function)
letCycleWithAnd: spurious error ("and" function)
-- out/eval --
Errors:
closeCycle.a: structural cycle
closeCycle.b.d: structural cycle
closeFail.x.b: field not allowed:
    ./in.cue:102:6
    ./in.cue:103:12
    ./in.cue:104:6
    ./in.cue:105:5
letCycleFail.t1.a.c: structural cycle
listAddCycle.a: structural cycle
listAddCycle.b.0.0: structural cycle
listAddCycle.b.0.1: structural cycle
structCycle.a: structural cycle
structCycle.b.d: structural cycle
disjunctionCycle.a: cannot use 1 (type int) as list in argument 1 to and:
    ./in.cue:54:9
disjunctionCycle.b: cannot use 1 (type int) as list in argument 1 to and:
    ./in.cue:54:9
disjunctionCycle.c: cannot use 1 (type int) as list in argument 1 to and:
    ./in.cue:54:9
b: structural cycle:
    ./in.cue:60:6
closeCycle.c: structural cycle:
    ./in.cue:71:15
structCycle.c: structural cycle:
    ./in.cue:77:14
embedCycle: structural cycle:
    ./in.cue:83:11
listAddCycle.c: structural cycle:
    ./in.cue:89:6
listMulCycle.a: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
    ./in.cue:95:5
    ./in.cue:95:9
listMulCycle.b: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
    ./in.cue:95:5
    ./in.cue:95:9
listMulCycle.c: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
    ./in.cue:95:5
    ./in.cue:95:9
printCycle.a.X.X: structural cycle:
    ./in.cue:111:6

Result:
(_|_){
  // [eval]
  letCycleOK: (struct){
    t1: (struct){
      b: (_){ _ }
      let X#1 = (_){ _ }
      c: (_){ _ }
    }
    t2: (struct){
      a: (struct){
        b: (int){ 1 }
        let X#2 = (_|_){
          // [structural cycle] letCycleOK.t2.a.X: structural cycle
        }
        c: (int){ 1 }
      }
    }
  }
  letCycleFail: (_|_){
    // [structural cycle]
    t1: (_|_){
      // [structural cycle]
      a: (_|_){
        // [structural cycle]
        b: (int){ 1 }
        let X#3 = (_|_){
          // [structural cycle] letCycleFail.t1.a.X: structural cycle
        }
        c: (_|_){
          // [structural cycle] letCycleFail.t1.a.c: structural cycle
        }
      }
    }
    t2: (struct){
      a: (struct){
        let X#4 = (struct){
          let X#4 = (_|_){
            // [structural cycle] letCycleFail.t2.a.X.X: structural cycle:
            //     ./in.cue:41:6
          }
          x: (struct){
            y: (string){ "" }
          }
        }
        x: (struct){
          y: (string){ "" }
        }
      }
    }
  }
  listCycleOK: (struct){
    a: (_){ _ }
    b: (_){ _ }
    c: (_){ _ }
  }
  disjunctionCycle: (_|_){
    // [eval]
    a: (_|_){
      // [eval] disjunctionCycle.a: cannot use 1 (type int) as list in argument 1 to and:
      //     ./in.cue:54:9
    }
    b: (_|_){
      // [eval] disjunctionCycle.b: cannot use 1 (type int) as list in argument 1 to and:
      //     ./in.cue:54:9
    }
    c: (_|_){
      // [eval] disjunctionCycle.c: cannot use 1 (type int) as list in argument 1 to and:
      //     ./in.cue:54:9
    }
  }
  forCycle: (_|_){
    // [structural cycle]
    #A: (_|_){
      // [structural cycle]
      a: (_|_){
        // [structural cycle] b: structural cycle:
        //     ./in.cue:60:6
      }
    }
    #B: (_|_){
      // [structural cycle] b: structural cycle:
      //     ./in.cue:60:6
    }
  }
  letCycleWithAnd: (struct){
    a: (struct){
      d: (struct){
      }
    }
    b: (struct){
    }
    c: (struct){
      d: (struct){
      }
    }
  }
  closeCycle: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle] closeCycle.a: structural cycle
    }
    b: (_|_){
      // [structural cycle]
      d: (_|_){
        // [structural cycle] closeCycle.b.d: structural cycle
      }
    }
    c: (_|_){
      // [structural cycle] closeCycle.c: structural cycle:
      //     ./in.cue:71:15
    }
  }
  structCycle: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle] structCycle.a: structural cycle
    }
    b: (_|_){
      // [structural cycle]
      d: (_|_){
        // [structural cycle] structCycle.b.d: structural cycle
      }
    }
    c: (_|_){
      // [structural cycle] structCycle.c: structural cycle:
      //     ./in.cue:77:14
    }
  }
  embedCycle: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle] embedCycle: structural cycle:
      //     ./in.cue:83:11
    }
    b: (_|_){
      // [structural cycle] embedCycle: structural cycle:
      //     ./in.cue:83:11
    }
    c: (_|_){
      // [structural cycle] embedCycle: structural cycle:
      //     ./in.cue:83:11
    }
  }
  listAddCycle: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle] listAddCycle.a: structural cycle
    }
    b: (_|_){
      // [structural cycle]
      0: (_|_){
        // [structural cycle]
        0: (_|_){
          // [structural cycle] listAddCycle.b.0.0: structural cycle
        }
        1: (_|_){
          // [structural cycle] listAddCycle.b.0.1: structural cycle
        }
      }
      1: (_|_){
        // [structural cycle]
      }
    }
    c: (_|_){
      // [structural cycle] listAddCycle.c: structural cycle:
      //     ./in.cue:89:6
    }
  }
  listMulCycle: (_|_){
    // [eval]
    a: (_|_){
      // [eval] listMulCycle.a: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
      //     ./in.cue:95:5
      //     ./in.cue:95:9
    }
    b: (_|_){
      // [eval] listMulCycle.b: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
      //     ./in.cue:95:5
      //     ./in.cue:95:9
    }
    c: (_|_){
      // [eval] listMulCycle.c: invalid operands 3 and [{a:{b:c}}] to '+' (type int and list):
      //     ./in.cue:95:5
      //     ./in.cue:95:9
    }
  }
  closeFail: (_|_){
    // [eval]
    #T: (#struct){
      a: (string){ string }
    }
    x: (_|_){
      // [eval]
      a: (string){ string }
      b: (_|_){
        // [eval] closeFail.x.b: field not allowed:
        //     ./in.cue:102:6
        //     ./in.cue:103:12
        //     ./in.cue:104:6
        //     ./in.cue:105:5
      }
    }
  }
  printCycle: (_|_){
    // [structural cycle]
    a: (_|_){
      // [structural cycle] printCycle.a.X.X: structural cycle:
      //     ./in.cue:111:6
    }
  }
}
-- out/compile --
--- in.cue
{
  letCycleOK: {
    t1: {
      b: 〈0;c〉
      let X#1 = 〈0;b〉
      c: 〈0;let X#1〉
    }
  }
  letCycleOK: {
    t2: {
      a: {
        b: 1
        let X#2 = 〈1;a〉
        c: 〈0;let X#2〉.b
      }
    }
  }
  letCycleFail: {
    t1: {
      a: {
        b: 1
        let X#3 = 〈1;a〉
        c: 〈0;let X#3〉
      }
    }
  }
  letCycleFail: {
    t2: {
      a: {
        let X#4 = 〈1;a〉
        if (〈0;let X#4〉 == _|_(explicit error (_|_ literal) in source)) {}
        x: {
          y: ""
        }
      }
    }
  }
  listCycleOK: {
    a: 〈0;b〉
    b: and([
      〈1;c〉,
    ])
    c: 〈0;a〉
  }
  disjunctionCycle: {
    a: 〈0;b〉
    b: and((1|〈0;c〉))
    c: 〈0;a〉
  }
  forCycle: {
    #A: {
      a: 〈1;#B〉
    }
    #B: or([
      for _, x in 〈1;#A〉 {
        b: 〈1;x〉
      },
    ])
  }
  letCycleWithAnd: {
    a: {
      d: 〈1;b〉
    }
    b: and([
      for _, x in 〈1;a〉 let y = 〈0;x〉 {
        〈1;y〉
      },
    ])
    c: 〈0;a〉
  }
  closeCycle: {
    a: 〈0;b〉
    b: close({
      d: 〈1;c〉
    })
    c: 〈0;a〉
  }
  structCycle: {
    a: 〈0;b〉
    b: and([
      {
        d: 〈2;c〉
      },
    ])
    c: 〈0;a〉
  }
  embedCycle: {
    a: 〈0;b〉
    b: close({
      〈1;c〉
    })
    c: 〈0;a〉
  }
  listAddCycle: {
    a: 〈0;b〉
    b: ([
      〈1;c〉,
    ] + [
      〈1;c〉,
    ])
    c: 〈0;a〉
  }
  listMulCycle: {
    a: 〈0;b〉
    b: (3 + [
      {
        a: {
          b: 〈3;c〉
        }
      },
    ])
    c: 〈0;a〉
  }
  closeFail: {
    #T: {
      [_]: _
    }
    #T: close({
      a: string
    })
    x: 〈0;#T〉
    x: {
      b: "foo"
    }
  }
  printCycle: {
    a: {
      X: 〈1;a〉
      if 〈0;X〉 {}
    }
  }
}