On 09/04/2013 01:33 PM, Andrew Sutton wrote: > Ah. The goal is to check after we've deduced/coerced template > arguments into a valid substitution. With functions, that's in > fn_type_unification (hopefully called from instantiate_template) Actually fn_type_unification calls instantiate_template, but yep, we're on the same page. Jason