On 06/11/2013 11:09 AM, Andrew Sutton wrote:
And you need to do this even when the call is type-dependent?
Yes. Especially when the call is type-dependent. That's how I generate
the constraint sets, which are used to determine the most constrained
template during overload resolution.
Ah, that makes sense. Then I guess what you're doing in
resolve_constraint_check is what you want; since the function takes no
parameters and returns bool, there's no substitution to do into the
function type, so SFINAE doesn't matter. I'd just ask again to rename
substitute_template_parameters; perhaps just calling it
coerce_template_parms makes sense. And also please pass tmpl down to
the is_decl parameter.
Jason
