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
