-- in.cue --
#def: {
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {c: string}
    {} | {a: string}
}
x: #def
x: c: "foo"

@test(eq, {
	#def: {} | {a: string} | {c: string} | {c: string, a: string}
	x: {c: "foo"} | {c: "foo", a: string}
})
-- out/eval/stats --
Leaks:  0
Freed:  112
Reused: 98
Allocs: 14
Retain: 0

Unifications: 16
Conjuncts:    113
Disjuncts:    58

NumCloseIDs: 23

ConjunctInfos:       99
MaxConjunctInfos:    12
MaxReqSets:          12
