Re: [PATCH] c++: wrong targs printed in hard satisfaction error [PR99214]

2025-04-15 Thread Jason Merrill
On 4/13/25 1:56 PM, Patrick Palka wrote: Alternatively, rather than passing the most general template + args to push_tinst_level, we can pass the partially instantiated template + innermost args via just: gcc/cp/ChangeLog: * constraint.cc (satisfy_declaration_constraints): Pass the

Re: [PATCH] c++: wrong targs printed in hard satisfaction error [PR99214]

2025-04-13 Thread Patrick Palka
Alternatively, rather than passing the most general template + args to push_tinst_level, we can pass the partially instantiated template + innermost args via just: gcc/cp/ChangeLog: * constraint.cc (satisfy_declaration_constraints): Pass the original T and ARGS to push_tinst_level

Re: [PATCH] c++: wrong targs printed in hard satisfaction error [PR99214]

2025-04-09 Thread Patrick Palka
On Wed, 9 Apr 2025, Patrick Palka wrote: > On Wed, 5 Mar 2025, Jason Merrill wrote: > > > On 3/5/25 10:13 AM, Patrick Palka wrote: > > > On Tue, 4 Mar 2025, Jason Merrill wrote: > > > > > > > On 3/4/25 2:49 PM, Patrick Palka wrote: > > > > > Bootstrapped and regtested on x86_64-pc-linux-gnu, doe

Re: [PATCH] c++: wrong targs printed in hard satisfaction error [PR99214]

2025-04-09 Thread Patrick Palka
On Wed, 5 Mar 2025, Jason Merrill wrote: > On 3/5/25 10:13 AM, Patrick Palka wrote: > > On Tue, 4 Mar 2025, Jason Merrill wrote: > > > > > On 3/4/25 2:49 PM, Patrick Palka wrote: > > > > Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK > > > > for trunk/14? > > > > > > > > --

Re: [PATCH] c++: wrong targs printed in hard satisfaction error [PR99214]

2025-03-05 Thread Jason Merrill
On 3/5/25 10:13 AM, Patrick Palka wrote: On Tue, 4 Mar 2025, Jason Merrill wrote: On 3/4/25 2:49 PM, Patrick Palka wrote: Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk/14? -- >8 -- In the three-parameter version of satisfy_declaration_constraints, when 't' is

Re: [PATCH] c++: wrong targs printed in hard satisfaction error [PR99214]

2025-03-05 Thread Patrick Palka
On Tue, 4 Mar 2025, Jason Merrill wrote: > On 3/4/25 2:49 PM, Patrick Palka wrote: > > Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK > > for trunk/14? > > > > -- >8 -- > > > > In the three-parameter version of satisfy_declaration_constraints, when > > 't' isn't the most ge

Re: [PATCH] c++: wrong targs printed in hard satisfaction error [PR99214]

2025-03-04 Thread Jason Merrill
On 3/4/25 2:49 PM, Patrick Palka wrote: Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk/14? -- >8 -- In the three-parameter version of satisfy_declaration_constraints, when 't' isn't the most general template, then 't' won't correspond with 'args' after we augment

[PATCH] c++: wrong targs printed in hard satisfaction error [PR99214]

2025-03-04 Thread Patrick Palka
Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk/14? -- >8 -- In the three-parameter version of satisfy_declaration_constraints, when 't' isn't the most general template, then 't' won't correspond with 'args' after we augment the latter via add_outermost_template_arg