-- in.cue --
// res is a list containing t; res[0] shares t's vertex.
res: [t] @test(eq, [{x: {a: "XDDDD", b: str: "DDDD", c: "X"}}]) @test(shareID=T, at=0)
t: {
	[X=string]: {
		a: c + b.str
		b: str: string
		c: "X"
	}
	x: {b: str: "DDDD"} @test(eq, {a: "XDDDD", b: str: "DDDD", c: "X"})
} @test(shareID=T)
-- out/eval/stats --
Leaks:  0
Freed:  14
Reused: 7
Allocs: 7
Retain: 3

Unifications: 14
Conjuncts:    21
Disjuncts:    15
