Re: [PATCH] c++: partial spec constraint checking context [PR105220]

2025-01-15 Thread Jason Merrill
On 1/14/25 9:46 PM, Patrick Palka wrote: On Tue, 14 Jan 2025, Jason Merrill wrote: On 1/10/25 1:36 PM, Patrick Palka wrote: On Tue, 1 Oct 2024, Patrick Palka wrote: On Mon, 16 Sep 2024, Patrick Palka wrote: On Thu, 30 Nov 2023, Patrick Palka wrote: On Fri, 3 Nov 2023, Patrick Palka wrote:

Re: [PATCH] c++: partial spec constraint checking context [PR105220]

2025-01-14 Thread Patrick Palka
On Tue, 14 Jan 2025, Jason Merrill wrote: > On 1/10/25 1:36 PM, Patrick Palka wrote: > > On Tue, 1 Oct 2024, Patrick Palka wrote: > > > On Mon, 16 Sep 2024, Patrick Palka wrote: > > > > On Thu, 30 Nov 2023, Patrick Palka wrote: > > > > > On Fri, 3 Nov 2023, Patrick Palka wrote: > > > > > > On Tue,

Re: [PATCH] c++: partial spec constraint checking context [PR105220]

2025-01-14 Thread Jason Merrill
On 1/10/25 1:36 PM, Patrick Palka wrote: On Tue, 1 Oct 2024, Patrick Palka wrote: On Mon, 16 Sep 2024, Patrick Palka wrote: On Thu, 30 Nov 2023, Patrick Palka wrote: On Fri, 3 Nov 2023, Patrick Palka wrote: On Tue, 3 May 2022, Jason Merrill wrote: On 5/2/22 14:50, Patrick Palka wrote: Curr

Re: [PATCH] c++: partial spec constraint checking context [PR105220]

2025-01-10 Thread Patrick Palka
On Tue, 1 Oct 2024, Patrick Palka wrote: > On Mon, 16 Sep 2024, Patrick Palka wrote: > > > On Thu, 30 Nov 2023, Patrick Palka wrote: > > > > > On Fri, 3 Nov 2023, Patrick Palka wrote: > > > > > > > On Tue, 3 May 2022, Jason Merrill wrote: > > > > > > > > > On 5/2/22 14:50, Patrick Palka wrot

Re: [PATCH] c++: partial spec constraint checking context [PR105220]

2024-10-01 Thread Patrick Palka
On Mon, 16 Sep 2024, Patrick Palka wrote: > On Thu, 30 Nov 2023, Patrick Palka wrote: > > > On Fri, 3 Nov 2023, Patrick Palka wrote: > > > > > On Tue, 3 May 2022, Jason Merrill wrote: > > > > > > > On 5/2/22 14:50, Patrick Palka wrote: > > > > > Currently when checking the constraints of a clas

Re: [PATCH] c++: partial spec constraint checking context [PR105220]

2024-09-16 Thread Patrick Palka
On Thu, 30 Nov 2023, Patrick Palka wrote: > On Fri, 3 Nov 2023, Patrick Palka wrote: > > > On Tue, 3 May 2022, Jason Merrill wrote: > > > > > On 5/2/22 14:50, Patrick Palka wrote: > > > > Currently when checking the constraints of a class template, we do so in > > > > the context of the template

Re: [PATCH] c++: partial spec constraint checking context [PR105220]

2023-11-30 Thread Patrick Palka
On Fri, 3 Nov 2023, Patrick Palka wrote: > On Tue, 3 May 2022, Jason Merrill wrote: > > > On 5/2/22 14:50, Patrick Palka wrote: > > > Currently when checking the constraints of a class template, we do so in > > > the context of the template, not the specialized type. This is the best > > > we ca

Re: [PATCH] c++: partial spec constraint checking context [PR105220]

2023-11-03 Thread Patrick Palka
On Tue, 3 May 2022, Jason Merrill wrote: > On 5/2/22 14:50, Patrick Palka wrote: > > Currently when checking the constraints of a class template, we do so in > > the context of the template, not the specialized type. This is the best > > we can do for a primary template since the specialized type

Re: [PATCH] c++: partial spec constraint checking context [PR105220]

2022-05-03 Thread Jason Merrill via Gcc-patches
On 5/2/22 14:50, Patrick Palka wrote: Currently when checking the constraints of a class template, we do so in the context of the template, not the specialized type. This is the best we can do for a primary template since the specialized type is valid only if the primary template's constraints a

[PATCH] c++: partial spec constraint checking context [PR105220]

2022-05-02 Thread Patrick Palka via Gcc-patches
Currently when checking the constraints of a class template, we do so in the context of the template, not the specialized type. This is the best we can do for a primary template since the specialized type is valid only if the primary template's constraints are satisfied. But for a partial special