Re: [PATCH] c++: premature analysis of requires-expression [PR96410]

2020-09-16 Thread Jason Merrill via Gcc-patches
On 9/16/20 6:11 PM, Patrick Palka wrote: On Wed, 16 Sep 2020, Jason Merrill wrote: On 9/16/20 1:34 PM, Patrick Palka wrote: On Thu, 13 Aug 2020, Jason Merrill wrote: On 8/13/20 11:21 AM, Patrick Palka wrote: On Mon, 10 Aug 2020, Jason Merrill wrote: On 8/10/20 2:18 PM, Patrick Palka wrote

Re: [PATCH] c++: premature analysis of requires-expression [PR96410]

2020-09-16 Thread Patrick Palka via Gcc-patches
On Wed, 16 Sep 2020, Jason Merrill wrote: > On 9/16/20 1:34 PM, Patrick Palka wrote: > > On Thu, 13 Aug 2020, Jason Merrill wrote: > > > > > On 8/13/20 11:21 AM, Patrick Palka wrote: > > > > On Mon, 10 Aug 2020, Jason Merrill wrote: > > > > > > > > > On 8/10/20 2:18 PM, Patrick Palka wrote: > >

Re: [PATCH] c++: premature analysis of requires-expression [PR96410]

2020-09-16 Thread Jason Merrill via Gcc-patches
On 9/16/20 1:34 PM, Patrick Palka wrote: On Thu, 13 Aug 2020, Jason Merrill wrote: On 8/13/20 11:21 AM, Patrick Palka wrote: On Mon, 10 Aug 2020, Jason Merrill wrote: On 8/10/20 2:18 PM, Patrick Palka wrote: On Mon, 10 Aug 2020, Patrick Palka wrote: In the below testcase, semantic analysi

Re: [PATCH] c++: premature analysis of requires-expression [PR96410]

2020-09-16 Thread Patrick Palka via Gcc-patches
On Thu, 13 Aug 2020, Jason Merrill wrote: > On 8/13/20 11:21 AM, Patrick Palka wrote: > > On Mon, 10 Aug 2020, Jason Merrill wrote: > > > > > On 8/10/20 2:18 PM, Patrick Palka wrote: > > > > On Mon, 10 Aug 2020, Patrick Palka wrote: > > > > > > > > > In the below testcase, semantic analysis of t

Re: [PATCH] c++: premature analysis of requires-expression [PR96410]

2020-08-13 Thread Jason Merrill via Gcc-patches
On 8/13/20 11:21 AM, Patrick Palka wrote: On Mon, 10 Aug 2020, Jason Merrill wrote: On 8/10/20 2:18 PM, Patrick Palka wrote: On Mon, 10 Aug 2020, Patrick Palka wrote: In the below testcase, semantic analysis of the requires-expressions in the generic lambda must be delayed until instantiatio

Re: [PATCH] c++: premature analysis of requires-expression [PR96410]

2020-08-13 Thread Patrick Palka via Gcc-patches
On Mon, 10 Aug 2020, Jason Merrill wrote: > On 8/10/20 2:18 PM, Patrick Palka wrote: > > On Mon, 10 Aug 2020, Patrick Palka wrote: > > > > > In the below testcase, semantic analysis of the requires-expressions in > > > the generic lambda must be delayed until instantiation of the lambda > > > bec

Re: [PATCH] c++: premature analysis of requires-expression [PR96410]

2020-08-10 Thread Jason Merrill via Gcc-patches
On 8/10/20 2:18 PM, Patrick Palka wrote: On Mon, 10 Aug 2020, Patrick Palka wrote: In the below testcase, semantic analysis of the requires-expressions in the generic lambda must be delayed until instantiation of the lambda because the requirements depend on the lambda's template arguments. Bu

Re: [PATCH] c++: premature analysis of requires-expression [PR96410]

2020-08-10 Thread Patrick Palka via Gcc-patches
On Mon, 10 Aug 2020, Patrick Palka wrote: > In the below testcase, semantic analysis of the requires-expressions in > the generic lambda must be delayed until instantiation of the lambda > because the requirements depend on the lambda's template arguments. But > tsubst_requires_expr does semantic

[PATCH] c++: premature analysis of requires-expression [PR96410]

2020-08-10 Thread Patrick Palka via Gcc-patches
In the below testcase, semantic analysis of the requires-expressions in the generic lambda must be delayed until instantiation of the lambda because the requirements depend on the lambda's template arguments. But tsubst_requires_expr does semantic analysis even during regeneration of the lambda, w