Re: [PATCH] c++: unqualified member template in constraint [PR101247]

2021-07-01 Thread Patrick Palka via Gcc-patches
On Thu, 1 Jul 2021, Jason Merrill wrote: > On 6/30/21 5:27 PM, Patrick Palka wrote: > > Here any_template_parm_r is failing to mark the template parameters > > that're implicitly used by the unqualified use of 'd' inside the constraint, > > because the code to do so assumes each level of a templat

Re: [PATCH] c++: unqualified member template in constraint [PR101247]

2021-07-01 Thread Jason Merrill via Gcc-patches
On 6/30/21 5:27 PM, Patrick Palka wrote: Here any_template_parm_r is failing to mark the template parameters that're implicitly used by the unqualified use of 'd' inside the constraint, because the code to do so assumes each level of a template parameter list points to the corresponding primary t

[PATCH] c++: unqualified member template in constraint [PR101247]

2021-06-30 Thread Patrick Palka via Gcc-patches
Here any_template_parm_r is failing to mark the template parameters that're implicitly used by the unqualified use of 'd' inside the constraint, because the code to do so assumes each level of a template parameter list points to the corresponding primary template, but here the parameter level for A