raw: true
eval: true
#inlinetest:exclude skip — tests export format, not evaluator semantics
-- in.cue --
{
	b: [{
		{[X=_]: int}
		if a > 4 {
			f: 4
		}
	}][a]
	a: int
	c: *1 | 2
}
-- out/eval/stats --
Leaks:  0
Freed:  8
Reused: 2
Allocs: 6
Retain: 0

Unifications: 5
Conjuncts:    8
Disjuncts:    2

NumCloseIDs: 1
-- out/evalalpha --
(struct){
  b: (_|_){
    // [incomplete] b: invalid non-ground value int (must be concrete int):
    //     ./in.cue:8:5
  }
  a: (int){ int }
  c: (int){ |(*(int){ 1 }, (int){ 2 }) }
}
