Re: [PATCH] c++: ICE with concepts TS multiple auto deduction [PR101886]

2022-12-19 Thread Jason Merrill via Gcc-patches
On 12/7/22 15:18, Patrick Palka wrote: In extract_autos_r, we need to reset TYPE_CANONICAL for the template type parameter after adjusting its index, otherwise we end up with a comptypes ICE for the below testcase. Note that such in-place type adjustment isn't generallly safe to do since the typ

Re: [PATCH] c++: ICE with concepts TS multiple auto deduction [PR101886]

2022-12-19 Thread Patrick Palka via Gcc-patches
On Wed, 7 Dec 2022, Patrick Palka wrote: > In extract_autos_r, we need to reset TYPE_CANONICAL for the template > type parameter after adjusting its index, otherwise we end up with a > comptypes ICE for the below testcase. Note that such in-place type > adjustment isn't generallly safe to do sinc

[PATCH] c++: ICE with concepts TS multiple auto deduction [PR101886]

2022-12-07 Thread Patrick Palka via Gcc-patches
In extract_autos_r, we need to reset TYPE_CANONICAL for the template type parameter after adjusting its index, otherwise we end up with a comptypes ICE for the below testcase. Note that such in-place type adjustment isn't generallly safe to do since the type could be the TYPE_CANONICAL of another