-- in.cue --
a: d: {
	#base
	#info: {...}
	Y: #info.X @test(eq, "foo") @test(closed)
}  @test(closed)

#base: {
	#info: {...}
} @test(closed)

a: [Name=string]: {#info: {
	X: "foo"
}} @test(closed=false)
-- out/eval/stats --
Leaks:  0
Freed:  8
Reused: 3
Allocs: 5
Retain: 1

Unifications: 8
Conjuncts:    19
Disjuncts:    9
