Re: [PATCH] c++: constrained nested partial specialization [PR92103]

2020-06-03 Thread Jason Merrill via Gcc-patches
On 6/2/20 3:43 PM, Patrick Palka wrote: When determining the most specialized partial specialization of a primary template that is nested inside a class template, we first tsubst the outer template arguments into the TEMPLATE_DECL of each partial specialization, and then check for satisfaction of

[PATCH] c++: constrained nested partial specialization [PR92103]

2020-06-02 Thread Patrick Palka via Gcc-patches
When determining the most specialized partial specialization of a primary template that is nested inside a class template, we first tsubst the outer template arguments into the TEMPLATE_DECL of each partial specialization, and then check for satisfaction of the new TEMPLATE_DECL's constraints. But