id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
761	"type-var unification for complex ""pair"" types not always right"	felix winkelmann	felix winkelmann	"Consider:

{{{
(print (assq 'foo (the (pair (pair symbol fixnum) (pair (pair char fixnum) list)) x)))
}}}

Matching `(list-of (pair a b))` with the argument will unify a and b and then fail on the cdr of the pair type. This needs to be done analogous to a union type instead, so that multiple instantiations of the type variables are handled.
"	defect	closed	major	4.9.0	compiler	4.7.x	fixed	scrutinizer