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] |
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'.
So it seems like we still need template_template_parm_bindings_ok_p,
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.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |