! exec hof vet -c
cmp stderr expect-stderr

-- 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"}

-- expect-stderr --
b.str: incomplete value string:
    ./partial.cue:8:7
sum: incomplete value 1 | 2
b.idx: invalid non-ground value string (must be concrete string):
    ./partial.cue:8:7
