-- in.cue --
t: {
	#ok: *true | bool
	if #ok {
		x: int
	}
	@test(eq, {
		#ok: *true | bool
		x:   int
	})
}
s: t & {#ok: false} @test(eq, {#ok: false})
-- out/eval/stats --
Leaks:  0
Freed:  11
Reused: 6
Allocs: 5
Retain: 0

Unifications: 7
Conjuncts:    13
Disjuncts:    11

MisalignedConjunct: 1

NumCloseIDs: 2
