Re: [C++ Patch] PR 61491 (aka DR 1206)

[Paolo Carlini <paolo dot carlini at oracle dot com>]

Hi,

On 07/09/2015 10:53 PM, Jason Merrill wrote:
> On 07/09/2015 03:36 PM, Paolo Carlini wrote:
> > Finally, we do *not* reject, as we should, the line:
> >
> > template<> enum A<char>::E : char { echar };
> >
> > Then, overall, is it Ok to simply suppress the pedwarn in C++11, and
> > xfail for now the error? Should I open a new, separate bug report about
> > the latter? (note that the issue, failing to reject an explicit
> > specialization after instantiation, doesn't sound new to me and seems
> > more general than enum-related issues...)
>
> I don't think it's a more general issue.  I note that the 
> specialization seems to append to the enumerator list somehow:
>
> int i = A<char>::eT + A<char>::echar; // accepted?!?
Annoying :( Indeed, I can see that the append already happened by the 
time maybe_process_partial_specialization is called the fourth time. 
Let's see if I can make some progress on that.

Thanks,
Paolo.