[clang] [Clang] Correct the order of substituted arguments in CTAD alias guides (PR #123022)
via cfe-commits
cfe-commits at lists.llvm.org
Wed Jan 15 06:40:33 PST 2025
================
@@ -1086,18 +1067,14 @@ BuildDeductionGuideForTypeAlias(Sema &SemaRef,
// 2) non-deduced template parameters of f: rebuild a
// template argument;
//
- // 2) has been built already (when rebuilding the new template
- // parameters), we now perform 1).
+ // We now perform 1), as case 2) might refer to substituted 1).
----------------
cor3ntin wrote:
How about
```cpp
// The template argument list is formed, in order, from
// 1) For the template parameters of the alias, the corresponding deduced template arguments
// 2) For the non-deduced template parameters of f. the (rebuilt) template arguments corresponding.
// Note: the non-deduced template arguments of `f` might refer to arguments deduced in 1)
```
https://github.com/llvm/llvm-project/pull/123022
More information about the cfe-commits
mailing list