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 template class!
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.
Jason
