-- in.cue --
	a: 1
	b: a + 1
	d: {
		x: _
		y: b + x
	}
	e: d & {
		x: 5
	}

-- 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:6
      //     ./in.cue:4:3
    }
  }
  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
  })
}