This is the mail archive of the
mailing list for the GCC project.
Re: [C++ PATCH] [PR14284] A template template parameter is a dependent type (regression 3.4/trunk)
"Giovanni Bajo" <email@example.com> 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