-- in.cue --
a: 1
b: a + 1
d: {
	x: _
	y: b + x
}
e: d & {
	x: 5
}
-- out/eval/stats --
Leaks:  0
Freed:  9
Reused: 6
Allocs: 3
Retain: 0

Unifications: 9
Conjuncts:    16
Disjuncts:    9
-- out/evalalpha --
(struct){
  a: (int){ 1 }
  b: (int){ 2 }
  d: (struct){
    x: (_){ _ }
    y: (_|_){
      // [incomplete] d.y: non-concrete value _ in operand to +:
      //     ./in.cue:5:5
    }
  }
  e: (struct){
    x: (int){ 5 }
    y: (int){ 7 }
  }
}
-- diff/-out/evalalpha<==>+out/eval --
diff old new
--- old
+++ new
@@ -6,7 +6,6 @@
     y: (_|_){
       // [incomplete] d.y: non-concrete value _ in operand to +:
       //     ./in.cue:5:5
-      //     ./in.cue:4:5
     }
   }
   e: (struct){
-- diff/todo/p2 --
missing error positions
-- out/eval --
(struct){
  a: (int){ 1 }
  b: (int){ 2 }
  d: (struct){
    x: (_){ _ }
    y: (_|_){
      // [incomplete] d.y: non-concrete value _ in operand to +:
      //     ./in.cue:5:5
      //     ./in.cue:4:5
    }
  }
  e: (struct){
    x: (int){ 5 }
    y: (int){ 7 }
  }
}
-- out/compile --
--- in.cue
{
  a: 1
  b: (〈0;a〉 + 1)
  d: {
    x: _
    y: (〈1;b〉 + 〈0;x〉)
  }
  e: (〈0;d〉 & {
    x: 5
  })
}