-- in.cue --
t1: {
	fn: {
		arg: [...int] & [1]
		out: arg[1:]
	}
	fn1: fn & {arg: [1]}
	@test(eq, {
		fn: {
			arg: [1]
			out: []
		}
		fn1: {
			arg: [1]
			out: []
		}
	})
}
-- out/eval/stats --
Leaks:  0
Freed:  9
Reused: 5
Allocs: 4
Retain: 0

Unifications: 9
Conjuncts:    17
Disjuncts:    9
