Re: [C++ Patch] PR 57543

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

Hi,

On 05/28/2014 05:49 PM, Jason Merrill wrote:
> On 05/28/2014 11:38 AM, Paolo Carlini wrote:
> > But unconditionally doesn't work, without doing something more. For
> > example for the first test, as reported: when current_class_type is set
> > and equal to "struct X<int>", class_of_this_parm is "struct X<
> > <template-parameter-1-1> >".
>
> Right, it needs to be the substituted this parameter.
>
> Let's remember when we had a trailing return type (probably by setting 
> a flag in splice_late_return_type and then preserving it when we 
> rebuild METHOD/FUNCTION_TYPEs) and if it's set, tsubst the return type 
> after the argument types rather than before so that SFINAE 
> consistently works in lexical order.
I see. Even not considering this issue, there are many regression if I 
inject for all method types. I'm afraid the issue turns out to be much 
more tricky than I hoped, I guess I'm going to unassign myself, for now, 
and work on some other pending issues in my todo. You are of course more 
than welcome to take it and include my additional tests in your work!

Thanks,
Paolo.