This is the mail archive of the
mailing list for the GCC project.
Re: [C++ PATCH] Fix unification of template template parameters (PRs 32565, 33943, 33965)
Doug Gregor wrote:
What happens if the type of a template non-type parameter is a
Now, we can't actually deduce the type 'T' from C's only template
parameter, so we're still stuck waiting until we've deduced 'T' before
we can check whether 'C' can be bound to 'X'.
So it seems like we still need template_template_parm_bindings_ok_p,
Yeah, this would be something to add to the list of reasons why
deduction can fail in 14.8.2.
Well, [temp.deduct]p12 says that one cannot deduce template arguments
from any constructs not listed, so it's clear that it is not deduced.
That's fair, but I still think it's something that was never considered.