Re: [PATCH v6] c++: Fix constrained auto deduction in templ spec scopes [PR114915]

2024-08-11 Thread Seyed Sajad Kahani
Hi. Based on your comments here, and the discussions in another thread https://gcc.gnu.org/pipermail/gcc-patches/2024-July/657703.html I have made another patch to resolve this issue (as well as another bug) that I will be sending right now. On Thu, 2024-07-18 at 22:16 -0400, Jason Merrill wrote

Re: [PATCH v6] c++: Fix constrained auto deduction in templ spec scopes [PR114915]

2024-07-18 Thread Jason Merrill
On 7/18/24 12:03 PM, Seyed Sajad Kahani wrote: When deducing auto for `adc_return_type`, `adc_variable_type`, and `adc_decomp_type` contexts (at the usage time), we try to resolve the outermost template arguments to be used for satisfaction. This is done by one of the following, depending on the

[PATCH v6] c++: Fix constrained auto deduction in templ spec scopes [PR114915]

2024-07-18 Thread Seyed Sajad Kahani
When deducing auto for `adc_return_type`, `adc_variable_type`, and `adc_decomp_type` contexts (at the usage time), we try to resolve the outermost template arguments to be used for satisfaction. This is done by one of the following, depending on the scope: 1. Checking the `DECL_TEMPLATE_INFO` of t