[PATCH] c++: constraint variable used in evaluated context [PR117849]

2025-04-04 Thread Patrick Palka
Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk/14? -- >8 -- Here we wrongly reject the requires-expression requirement at parse time due to the use of the constraint variable 't' within a template argument (an evaluated context). Fix this simply by refining the "u

Re: [PATCH] c++: constraint variable used in evaluated context [PR117849]

2025-04-04 Thread Jason Merrill
On 4/4/25 9:25 AM, Patrick Palka wrote: On Fri, 4 Apr 2025, Patrick Palka wrote: On Thu, 3 Apr 2025, Jason Merrill wrote: On 4/2/25 2:28 PM, Patrick Palka wrote: Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk/14? OK for 14. For 15, what happens if we remove

Re: [PATCH] c++: constraint variable used in evaluated context [PR117849]

2025-04-04 Thread Patrick Palka
On Fri, 4 Apr 2025, Patrick Palka wrote: > On Thu, 3 Apr 2025, Jason Merrill wrote: > > > On 4/2/25 2:28 PM, Patrick Palka wrote: > > > Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look > > > OK for trunk/14? > > > > OK for 14. > > > > For 15, what happens if we remove that erro

Re: [PATCH] c++: constraint variable used in evaluated context [PR117849]

2025-04-04 Thread Patrick Palka
On Thu, 3 Apr 2025, Jason Merrill wrote: > On 4/2/25 2:28 PM, Patrick Palka wrote: > > Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look > > OK for trunk/14? > > OK for 14. > > For 15, what happens if we remove that error entirely? Do we still give other > errors in that case?

Re: [PATCH] c++: constraint variable used in evaluated context [PR117849]

2025-04-03 Thread Jason Merrill
On 4/2/25 2:28 PM, Patrick Palka wrote: Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk/14? OK for 14. For 15, what happens if we remove that error entirely? Do we still give other errors in that case? That seems to be the expectation of https://eel.is/c++dra