[PATCH] c++: P0848R3 and member function templates [PR95181]

2020-05-22 Thread Patrick Palka via Gcc-patches
When comparing two special member function templates to see if one hides the other (as per P0848R3), we need to check satisfaction which we can't do on templates. So this patch makes add_method skip the eligibility test on member function templates and just lets them coexist. Passes 'make check-c

Re: [PATCH] c++: P0848R3 and member function templates [PR95181]

2020-05-22 Thread Patrick Palka via Gcc-patches
On Fri, 22 May 2020, Patrick Palka wrote: > When comparing two special member function templates to see if one hides > the other (as per P0848R3), we need to check satisfaction which we can't > do on templates. So this patch makes add_method skip the eligibility > test on member function template

Re: [PATCH] c++: P0848R3 and member function templates [PR95181]

2020-05-22 Thread Patrick Palka via Gcc-patches
On Fri, 22 May 2020, Patrick Palka wrote: > When comparing two special member function templates to see if one hides > the other (as per P0848R3), we need to check satisfaction which we can't > do on templates. So this patch makes add_method skip the eligibility > test on member function template

Re: [PATCH] c++: P0848R3 and member function templates [PR95181]

2020-05-29 Thread Jason Merrill via Gcc-patches
On 5/22/20 10:56 AM, Patrick Palka wrote: On Fri, 22 May 2020, Patrick Palka wrote: When comparing two special member function templates to see if one hides the other (as per P0848R3), we need to check satisfaction which we can't do on templates. So this patch makes add_method skip the eligibi

Re: [PATCH] c++: P0848R3 and member function templates [PR95181]

2020-05-29 Thread Patrick Palka via Gcc-patches
On Fri, 29 May 2020, Jason Merrill wrote: > On 5/22/20 10:56 AM, Patrick Palka wrote: > > On Fri, 22 May 2020, Patrick Palka wrote: > > > > > When comparing two special member function templates to see if one hides > > > the other (as per P0848R3), we need to check satisfaction which we can't > >