Re: [PATCH 3/4] c++: Delay normalizing nested requirements until satisfaction

2021-03-01 Thread Jason Merrill via Gcc-patches
On 3/1/21 6:09 PM, Patrick Palka wrote: On Mon, 1 Mar 2021, Jason Merrill wrote: On 2/28/21 12:40 PM, Patrick Palka wrote: On Fri, 12 Feb 2021, Jason Merrill wrote: On 2/10/21 9:41 AM, Patrick Palka wrote: On Tue, 9 Feb 2021, Jason Merrill wrote: On 2/8/21 2:03 PM, Patrick Palka wrote: T

Re: [PATCH 3/4] c++: Delay normalizing nested requirements until satisfaction

2021-03-01 Thread Patrick Palka via Gcc-patches
On Mon, 1 Mar 2021, Jason Merrill wrote: > On 2/28/21 12:40 PM, Patrick Palka wrote: > > On Fri, 12 Feb 2021, Jason Merrill wrote: > > > > > On 2/10/21 9:41 AM, Patrick Palka wrote: > > > > On Tue, 9 Feb 2021, Jason Merrill wrote: > > > > > > > > > On 2/8/21 2:03 PM, Patrick Palka wrote: > > > >

Re: [PATCH 3/4] c++: Delay normalizing nested requirements until satisfaction

2021-03-01 Thread Jason Merrill via Gcc-patches
On 2/28/21 12:40 PM, Patrick Palka wrote: On Fri, 12 Feb 2021, Jason Merrill wrote: On 2/10/21 9:41 AM, Patrick Palka wrote: On Tue, 9 Feb 2021, Jason Merrill wrote: On 2/8/21 2:03 PM, Patrick Palka wrote: This sets up the functionality for controlling the initial set of template parameters

Re: [PATCH 3/4] c++: Delay normalizing nested requirements until satisfaction

2021-02-28 Thread Patrick Palka via Gcc-patches
On Fri, 12 Feb 2021, Jason Merrill wrote: > On 2/10/21 9:41 AM, Patrick Palka wrote: > > On Tue, 9 Feb 2021, Jason Merrill wrote: > > > > > On 2/8/21 2:03 PM, Patrick Palka wrote: > > > > This sets up the functionality for controlling the initial set of > > > > template parameters to pass to norm

Re: [PATCH 3/4] c++: Delay normalizing nested requirements until satisfaction

2021-02-12 Thread Jason Merrill via Gcc-patches
On 2/10/21 9:41 AM, Patrick Palka wrote: On Tue, 9 Feb 2021, Jason Merrill wrote: On 2/8/21 2:03 PM, Patrick Palka wrote: This sets up the functionality for controlling the initial set of template parameters to pass to normalization when dealing with a constraint-expression that is not associa

Re: [PATCH 3/4] c++: Delay normalizing nested requirements until satisfaction

2021-02-10 Thread Patrick Palka via Gcc-patches
On Tue, 9 Feb 2021, Jason Merrill wrote: > On 2/8/21 2:03 PM, Patrick Palka wrote: > > This sets up the functionality for controlling the initial set of > > template parameters to pass to normalization when dealing with a > > constraint-expression that is not associated with some constrained > > d

Re: [PATCH 3/4] c++: Delay normalizing nested requirements until satisfaction

2021-02-09 Thread Jason Merrill via Gcc-patches
On 2/9/21 6:04 PM, Jason Merrill wrote: On 2/8/21 2:03 PM, Patrick Palka wrote: This sets up the functionality for controlling the initial set of template parameters to pass to normalization when dealing with a constraint-expression that is not associated with some constrained declaration, for i

Re: [PATCH 3/4] c++: Delay normalizing nested requirements until satisfaction

2021-02-09 Thread Jason Merrill via Gcc-patches
On 2/8/21 2:03 PM, Patrick Palka wrote: This sets up the functionality for controlling the initial set of template parameters to pass to normalization when dealing with a constraint-expression that is not associated with some constrained declaration, for instance when normalizing a nested require

[PATCH 3/4] c++: Delay normalizing nested requirements until satisfaction

2021-02-08 Thread Patrick Palka via Gcc-patches
This sets up the functionality for controlling the initial set of template parameters to pass to normalization when dealing with a constraint-expression that is not associated with some constrained declaration, for instance when normalizing a nested requirement of a requires expression, or the cons