Re: [PATCH] c++: Check constraints only on candidate conversion functions

2020-10-27 Thread Patrick Palka via Gcc-patches
On Tue, 27 Oct 2020, Jason Merrill wrote: > On 10/26/20 5:37 PM, Patrick Palka wrote: > > In the testcase below, we're overeagerly checking the constraints on > > the conversion function B::operator bool() as part of finding an > > implicit conversion sequence from B to const A&. > > > > This beh

Re: [PATCH] c++: Check constraints only on candidate conversion functions

2020-10-27 Thread Jason Merrill via Gcc-patches
On 10/26/20 5:37 PM, Patrick Palka wrote: In the testcase below, we're overeagerly checking the constraints on the conversion function B::operator bool() as part of finding an implicit conversion sequence from B to const A&. This behavior seems to be nonconforming because according to [over.matc

[PATCH] c++: Check constraints only on candidate conversion functions

2020-10-26 Thread Patrick Palka via Gcc-patches
In the testcase below, we're overeagerly checking the constraints on the conversion function B::operator bool() as part of finding an implicit conversion sequence from B to const A&. This behavior seems to be nonconforming because according to [over.match.copy] and [over.match.conv], only those co