-- in.cue --
cond: bool
src: {}
top: _
a: [ if cond {}]         @test(err, code=incomplete, pos=[-3:7], contains="incomplete bool")
b: [for x in src.foo {}] @test(err, code=incomplete, pos=[0:18], contains="undefined field")
c: {for x in top {}}     @test(err, code=incomplete, pos=[0:14], contains="cannot range")
-- out/errors.txt --
[incomplete] a: incomplete bool: bool:
    ./in.cue:1:7
[incomplete] b: undefined field: foo:
    ./in.cue:5:18
[incomplete] c: cannot range over top (incomplete type _):
    ./in.cue:6:14
-- out/eval/stats --
Leaks:  0
Freed:  7
Reused: 5
Allocs: 2
Retain: 0

Unifications: 7
Conjuncts:    7
Disjuncts:    7

NumCloseIDs: 1
