-- in.cue --
if #E["x"] != _|_ {
	#E: {y: true}
}
if #E["y"] != _|_ {
	z: true
}
#E: [_]: bool
#E: x:   true
#E: _
z:  _
-- 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
  }
  #E: _
  z: _
}
