# Tests non-structural direct cycles where a struct is unified with one of its own
# fields. c1 resolves successfully (bar.baz is merged), c2 conflicts because bar:1
# (int) cannot unify with the struct c2.bar.
-- in.cue --
c1: {bar: baz: 2} & c1.bar
c2: {bar: 1} & c2.bar
-- out/compile --
--- in.cue
{
  c1: ({
    bar: {
      baz: 2
    }
  } & 〈0;c1〉.bar)
  c2: ({
    bar: 1
  } & 〈0;c2〉.bar)
}
