! cue vet -c
cmp stderr expect-stderr
-- expect-stderr --
b.idx: invalid non-ground value string (must be concrete string)
b.str: incomplete value string
sum: incomplete value 1 | 2
-- partial.cue --
package partial

def: *1 | int
sum: 1 | 2

b: {
	idx: a[str] // should resolve to top-level `a`
	str: string
}
b: a: b: 4
a: {
	b: 3
	c: 4
}
c: b & {str: "b"}