This is the mail archive of the
mailing list for the GCC project.
Re: [C++ Patch] PR 60999
- From: Jason Merrill <jason at redhat dot com>
- To: Paolo Carlini <paolo dot carlini at oracle dot com>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Date: Tue, 06 May 2014 13:40:17 -0400
- Subject: Re: [C++ Patch] PR 60999
- Authentication-results: sourceware.org; auth=none
- References: <5360BF35 dot 2010903 at oracle dot com> <53655C31 dot 2020104 at redhat dot com> <536573E9 dot 2070702 at oracle dot com> <536792D6 dot 30609 at redhat dot com> <5367BB74 dot 6060805 at oracle dot com> <5367F915 dot 3000609 at redhat dot com> <53689C0C dot 1010401 at oracle dot com>
On 05/06/2014 04:23 AM, Paolo Carlini wrote:
On further thought (yesterday was a little tired, sorry), I think that
nsdmi-template7.C is telling us that, in fact, we *do* want something
true when we are handling an NSDMI inside a non-template class of a
Right, sorry, I was thinking we only had to look at the innermost
parameters, but in fact we need to push all levels of parameters.
I've been resistant to your change because it wouldn't fix a
specialization of a member template of another class template.
Currently that is ill-formed, but there have been mumblings in Core
about allowing it in the future. But supporting that would probably
involve making such a specialization a template itself, so go ahead.
But please add a comment clarifying that the test is there to avoid
looking past an explicit specialization.