s
TEMPLATE_PARM_CONSTRAINT.)
OK.
-- >8 --
Subject: [PATCH] c++: don't substitute TEMPLATE_PARM_CONSTRAINT [PR100374]
This makes us avoid substituting into the TEMPLATE_PARM_CONSTRAINT of
each template parameter except as necessary for friend declaration
matching, like we already do for
quirement
clause. I think it's doable if a little messy to precisely handle
this case but in the meantime it seems we could get 90% of the way there
by considering the overall constraints instead of just the trailing
constraints? Something like the following.
(Either way,
On 5/31/22 08:56, Patrick Palka wrote:
On Sun, 29 May 2022, Jason Merrill wrote:
On 5/29/22 22:10, Jason Merrill wrote:
On 5/27/22 14:05, Patrick Palka wrote:
This makes us avoid substituting into the TEMPLATE_PARM_CONSTRAINT of
each template parameter except as necessary for (friend) declara
On Sun, 29 May 2022, Jason Merrill wrote:
> On 5/29/22 22:10, Jason Merrill wrote:
> > On 5/27/22 14:05, Patrick Palka wrote:
> > > This makes us avoid substituting into the TEMPLATE_PARM_CONSTRAINT of
> > > each template parameter except as necessary for (friend) declaration
> > > matching, like
On 5/29/22 22:10, Jason Merrill wrote:
On 5/27/22 14:05, Patrick Palka wrote:
This makes us avoid substituting into the TEMPLATE_PARM_CONSTRAINT of
each template parameter except as necessary for (friend) declaration
matching, like we already do for the overall TEMPLATE_PARMS_CONSTRAINTS
of a te
On 5/27/22 14:05, Patrick Palka wrote:
This makes us avoid substituting into the TEMPLATE_PARM_CONSTRAINT of
each template parameter except as necessary for (friend) declaration
matching, like we already do for the overall TEMPLATE_PARMS_CONSTRAINTS
of a template parameter list.
Bootstrapped and
This makes us avoid substituting into the TEMPLATE_PARM_CONSTRAINT of
each template parameter except as necessary for (friend) declaration
matching, like we already do for the overall TEMPLATE_PARMS_CONSTRAINTS
of a template parameter list.
Bootstrapped and regtested on x86_64-pc-linux-gnu, does t
