-- in.cue --
a: [X=string]: {name: X}
a: [Name=string]: {name: Name}
a: foo: {} @test(eq, {name: "foo"})
-- out/eval/stats --
Leaks:  0
Freed:  4
Reused: 0
Allocs: 4
Retain: 0

Unifications: 4
Conjuncts:    9
Disjuncts:    4
