cue/testdata/resolve/022_list_unification.txtar

# DO NOT EDIT; generated by go run testdata/gen.go
#
#name: list unification
#evalPartial
-- in.cue --
a: {l: ["foo", v], v: l[1]}
b: a & {l: [_, "bar"]}
-- out/def --
a: {
	l: ["foo", v]
	v: l[1]
}
b: a & {
	l: [_, "bar"]
}
-- out/legacy-debug --
<0>{a: <1>{l: ["foo",<2>.v], v: <2>.l[1]}, b: <3>{l: ["foo","bar"], v: "bar"}}
-- out/compile --
--- in.cue
{
  a: {
    l: [
      "foo",
      〈0;v〉,
    ]
    v: 〈0;l〉[1]
  }
  b: (〈0;a〉 & {
    l: [
      _,
      "bar",
    ]
  })
}
-- out/eval --
(struct){
  a: (struct){
    l: (#list){
      0: (string){ "foo" }
      1: (_){ _ }
    }
    v: (_){ _ }
  }
  b: (struct){
    l: (#list){
      0: (string){ "foo" }
      1: (string){ "bar" }
    }
    v: (string){ "bar" }
  }
}