-- in.cue --
res: [for x in a for y in x {y & {d: "b"}}]
res: [ a.b.c & {d: "b"}]

a: b: [C=string]: {d: string, s: "a" + d}
a: b: c: d: string
@test(eq, {
	res: [ {d: "b", s: "ab"} ]
	a: b: c: {
		d: string
		s: _|_ @test(err, code=incomplete, pos=[-2:34, -2:23, -1:13])
	}
})
-- out/errors.txt --
[incomplete] a.b.c.s: non-concrete value string in operand to +:
    ./in.cue:4:34
    ./in.cue:4:23
    ./in.cue:5:13
-- out/eval/stats --
Leaks:  0
Freed:  10
Reused: 3
Allocs: 7
Retain: 5

Unifications: 10
Conjuncts:    33
Disjuncts:    15
