This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [C++ PATCH] [PR14284] A template template parameter is a dependent type (regression 3.4/trunk)
"Giovanni Bajo" <giovannibajo@libero.it> writes:
| > a template template parameter isn't any kind of type.
|
| Yes, I was wondering the same thing. The problem is that TYPE_P is true for a
| template template parameter.
I've also wondered the same for long time. I think that is a design
error and should not be carried over. Probably, it came from the days
where we didn't distinguish a bound template template-parameters from
unbound ones. TYPE_P should not be true for such a
TEMPLATE_TEMPLATE_PARM.
-- Gaby