Re: [PATCH] c++: argument pack expansion inside constraint [PR100138]

2021-07-16 Thread Jason Merrill via Gcc-patches
On 7/15/21 12:56 PM, Patrick Palka wrote: On Sat, May 8, 2021 at 8:42 AM Jason Merrill wrote: On 5/7/21 12:33 PM, Patrick Palka wrote: This PR is about CTAD but the underlying problems are more general; CTAD is a good trigger for them because of the necessary substitution into constraints tha

Re: [PATCH] c++: argument pack expansion inside constraint [PR100138]

2021-07-15 Thread Patrick Palka via Gcc-patches
On Sat, May 8, 2021 at 8:42 AM Jason Merrill wrote: > > On 5/7/21 12:33 PM, Patrick Palka wrote: > > This PR is about CTAD but the underlying problems are more general; > > CTAD is a good trigger for them because of the necessary substitution > > into constraints that deduction guide generation en

Re: [PATCH] c++: argument pack expansion inside constraint [PR100138]

2021-05-08 Thread Jason Merrill via Gcc-patches
On 5/7/21 12:33 PM, Patrick Palka wrote: This PR is about CTAD but the underlying problems are more general; CTAD is a good trigger for them because of the necessary substitution into constraints that deduction guide generation entails. In the testcase below, when generating the implicit deducti

[PATCH] c++: argument pack expansion inside constraint [PR100138]

2021-05-07 Thread Patrick Palka via Gcc-patches
This PR is about CTAD but the underlying problems are more general; CTAD is a good trigger for them because of the necessary substitution into constraints that deduction guide generation entails. In the testcase below, when generating the implicit deduction guide for the constrained constructor te