Re: [PATCH] c++: constraint rewriting during ttp coercion [PR111485]

On 9/20/23 13:10, Patrick Palka wrote: Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk and perhaps backports? OK for trunk and 13. -- >8 -- In order to compare the constraints of a ttp with that of its argument, we rewrite the ttp's constraints in terms of the

[PATCH] c++: constraint rewriting during ttp coercion [PR111485]

Bootstrapped and regtested on x86_64-pc-linux-gnu, does this look OK for trunk and perhaps backports? -- >8 -- In order to compare the constraints of a ttp with that of its argument, we rewrite the ttp's constraints in terms of the argument template's template parameters. The substitution to