Re: [PATCH] c++: local_specializations and recursive constrained fn [PR103714]

2021-12-15 Thread Jason Merrill via Gcc-patches
On 12/14/21 17:26, Patrick Palka wrote: Here during constraint checking for the recursive call to 'f', substitution into the PARM_DECL 'd' in the atomic constraint gives us the wrong local specialization because local_specializations at this point contains entities associated with the _outer_ cal

[PATCH] c++: local_specializations and recursive constrained fn [PR103714]

2021-12-14 Thread Patrick Palka via Gcc-patches
Here during constraint checking for the recursive call to 'f', substitution into the PARM_DECL 'd' in the atomic constraint gives us the wrong local specialization because local_specializations at this point contains entities associated with the _outer_ call to 'f'. This patch fixes this by callin