We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f30ae8f commit 2e83cdfCopy full SHA for 2e83cdf
source/templates.tex
@@ -7881,8 +7881,8 @@
7881
Each deduction deduces template arguments for subsequent positions in
7882
the template parameter packs expanded by the function parameter pack.
7883
When a function parameter pack appears in a non-deduced
7884
-context\iref{temp.deduct.type}, the type of that pack is
7885
-never deduced.
+context\iref{temp.deduct.type}, the template parameter pack(s)
+expanded by that pack are never deduced, even if they appear in a deduced context elsewhere.
7886
\begin{example}
7887
\begin{codeblock}
7888
template<class ... Types> void f(Types& ...);
0 commit comments