Incomplete errors should not unify with values.
-- in.cue --
a: or([])
a: "t"

b: _|_
b: "t"
-- out/compile --
--- in.cue
{
  a: or([])
  a: "t"
  b: _|_(explicit error (_|_ literal) in source)
  b: "t"
}
