Re: [PATCH 2/2] c++: constrained auto NTTP vs associated constraints

2025-03-28 Thread Patrick Palka
On Tue, 5 Nov 2024, Jason Merrill wrote: > On 10/17/24 1:10 PM, Patrick Palka wrote: > > On Thu, 17 Oct 2024, Patrick Palka wrote: > > > > > On Tue, 15 Oct 2024, Patrick Palka wrote: > > > > > > > On Tue, 15 Oct 2024, Patrick Palka wrote: > > > > > > > > > According to [temp.param]/11, the cons

Re: [PATCH 2/2] c++: constrained auto NTTP vs associated constraints

2024-11-05 Thread Jason Merrill
On 10/17/24 1:10 PM, Patrick Palka wrote: On Thu, 17 Oct 2024, Patrick Palka wrote: On Tue, 15 Oct 2024, Patrick Palka wrote: On Tue, 15 Oct 2024, Patrick Palka wrote: According to [temp.param]/11, the constraint on an auto NTTP is an associated constraint and so should be checked as part o

Re: [PATCH 2/2] c++: constrained auto NTTP vs associated constraints

2024-11-05 Thread Patrick Palka
On Thu, 17 Oct 2024, Patrick Palka wrote: > On Thu, 17 Oct 2024, Patrick Palka wrote: > > > On Tue, 15 Oct 2024, Patrick Palka wrote: > > > > > On Tue, 15 Oct 2024, Patrick Palka wrote: > > > > > > > According to [temp.param]/11, the constraint on an auto NTTP is an > > > > associated constrain

Re: [PATCH 2/2] c++: constrained auto NTTP vs associated constraints

2024-10-17 Thread Patrick Palka
On Thu, 17 Oct 2024, Patrick Palka wrote: > On Tue, 15 Oct 2024, Patrick Palka wrote: > > > On Tue, 15 Oct 2024, Patrick Palka wrote: > > > > > According to [temp.param]/11, the constraint on an auto NTTP is an > > > associated constraint and so should be checked as part of satisfaction > > > of

Re: [PATCH 2/2] c++: constrained auto NTTP vs associated constraints

2024-10-17 Thread Patrick Palka
On Tue, 15 Oct 2024, Patrick Palka wrote: > On Tue, 15 Oct 2024, Patrick Palka wrote: > > > According to [temp.param]/11, the constraint on an auto NTTP is an > > associated constraint and so should be checked as part of satisfaction > > of the overall associated constraints rather than checked i

Re: [PATCH 2/2] c++: constrained auto NTTP vs associated constraints

2024-10-15 Thread Patrick Palka
On Tue, 15 Oct 2024, Patrick Palka wrote: > According to [temp.param]/11, the constraint on an auto NTTP is an > associated constraint and so should be checked as part of satisfaction > of the overall associated constraints rather than checked individually > during coerion/deduction. By the way,