Re: [PATCH 1/2] c++: requires-exprs and partial constraint subst [PR112769]

2024-02-02 Thread Jason Merrill
On 2/2/24 15:57, Patrick Palka wrote: On Fri, 2 Feb 2024, Patrick Palka wrote: On Fri, 2 Feb 2024, Jason Merrill wrote: On 2/2/24 14:41, Patrick Palka wrote: Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- In r11-3261-gb28b621ac67bee we made tsubst_

Re: [PATCH 1/2] c++: requires-exprs and partial constraint subst [PR112769]

2024-02-02 Thread Patrick Palka
On Fri, 2 Feb 2024, Patrick Palka wrote: > On Fri, 2 Feb 2024, Jason Merrill wrote: > > > On 2/2/24 14:41, Patrick Palka wrote: > > > Bootstrapped and regtested on x86_64-pc-linux-gnu, does this > > > look OK for trunk? > > > > > > -- >8 -- > > > > > > In r11-3261-gb28b621ac67bee we made tsubst

Re: [PATCH 1/2] c++: requires-exprs and partial constraint subst [PR112769]

2024-02-02 Thread Patrick Palka
On Fri, 2 Feb 2024, Jason Merrill wrote: > On 2/2/24 14:41, Patrick Palka wrote: > > Bootstrapped and regtested on x86_64-pc-linux-gnu, does this > > look OK for trunk? > > > > -- >8 -- > > > > In r11-3261-gb28b621ac67bee we made tsubst_requires_expr never partially > > substitute into a require

Re: [PATCH 1/2] c++: requires-exprs and partial constraint subst [PR112769]

2024-02-02 Thread Jason Merrill
On 2/2/24 14:41, Patrick Palka wrote: Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- In r11-3261-gb28b621ac67bee we made tsubst_requires_expr never partially substitute into a requires-expression so as to avoid checking its requirements out of order dur

Re: [PATCH 1/2] c++: requires-exprs and partial constraint subst [PR112769]

2024-02-02 Thread Jason Merrill
On 2/2/24 14:41, Patrick Palka wrote: Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? OK. -- >8 -- In r11-3261-gb28b621ac67bee we made tsubst_requires_expr never partially substitute into a requires-expression so as to avoid checking its requirements out of or

[PATCH 1/2] c++: requires-exprs and partial constraint subst [PR112769]

2024-02-02 Thread Patrick Palka
Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk? -- >8 -- In r11-3261-gb28b621ac67bee we made tsubst_requires_expr never partially substitute into a requires-expression so as to avoid checking its requirements out of order during e.g. generic lambda regeneration. U