-- in.cue --
l: *[int, int] | [string, string]

t1: {
	l & ["c", "d"]
	@test(eq, ["c", "d"])
}
-- out/eval/stats --
Leaks:  0
Freed:  18
Reused: 13
Allocs: 5
Retain: 0

Unifications: 14
Conjuncts:    24
Disjuncts:    18
