This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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
non-deduced context?


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'.

Good point.


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.


Jason


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]