-- in.cue --
a: t & {c:  5}   @test(eq, {c: 5, d: 15}) // {c:5,d:15}
b: ti & {c: 7}   @test(eq, {c: 7, d: 21}) // {c:7,d:21}
t: {
	c: number
	d: c * 3   @test(err, code=incomplete, contains="non-concrete value number in operand to *", pos=[0:5, -1:5])
}
ti: t & {c: int}   @test(eq, {
	c: int
	d: _|_ @test(err, code=incomplete, contains="non-concrete value number in operand to *", pos=[5:5 4:5 7:13])
})
-- out/errors.txt --
[incomplete] t.d: non-concrete value number in operand to *:
    ./in.cue:5:5
    ./in.cue:4:5
[incomplete] ti.d: non-concrete value int in operand to *:
    ./in.cue:5:5
    ./in.cue:4:5
    ./in.cue:7:13
-- out/eval/stats --
Leaks:  0
Freed:  13
Reused: 6
Allocs: 7
Retain: 0

Unifications: 13
Conjuncts:    25
Disjuncts:    0

NumCloseIDs: 4
