[clang] [Sema] Substitute parameter packs when deduced from function arguments (PR #79371)

via cfe-commits cfe-commits at lists.llvm.org
Fri Jan 26 06:23:36 PST 2024


================
@@ -431,6 +442,17 @@ namespace deduction_after_explicit_pack {
     i<int, int>(0, 1, 2, 3, 4, 5); // expected-error {{no match}}
   }
 
+  template <typename... T>
+  void bar(args_tag<T...>, type_identity_t<T>..., int mid, type_identity_t<T>...) {}
----------------
cor3ntin wrote:

I'd like to see a test for ```cpp
template <typename... Y, typename... T>
void foo2(args_tag<Y...>, args_tag<T...>, type_identity_t<T>..., type_identity_t<T>...) {}
```

https://github.com/llvm/llvm-project/pull/79371


More information about the cfe-commits mailing list