-- in.cue --
 if #E["x"] != _|_ {
	#E: y: true
}
if #E["y"] != _|_ {
	z: true
}
#E: [_]: bool
#E: x:   true
-- out/eval/stats --
Leaks:  0
Freed:  5
Reused: 1
Allocs: 4
Retain: 2

Unifications: 5
Conjuncts:    7
Disjuncts:    5
-- out/eval --
(struct){
  #E: (#struct){
    y: (bool){ true }
    x: (bool){ true }
  }
  z: (bool){ true }
}
-- out/compile --
--- in.cue
{
  if (〈0;#E〉["x"] != _|_(explicit error (_|_ literal) in source)) {
    #E: {
      y: true
    }
  }
  if (〈0;#E〉["y"] != _|_(explicit error (_|_ literal) in source)) {
    z: true
  }
  #E: {
    [_]: bool
  }
  #E: {
    x: true
  }
}