[temp.deduct.call] Clear up wording regarding function parameter packs appearing in non-deduced contexts

sdkrystian · sdkrystian · commit 7ffc20f2048b · 2020-03-25T08:18:06.000-04:00
diff --git a/source/templates.tex b/source/templates.tex
@@ -7881,8 +7881,8 @@
 Each deduction deduces template arguments for subsequent positions in
 the template parameter packs expanded by the function parameter pack.
 When a function parameter pack appears in a non-deduced
-context\iref{temp.deduct.type}, the type of that pack is
-never deduced.
+context\iref{temp.deduct.type}, the template parameter pack(s)
+expanded by that pack are never deduced (not even if they appear in a deduced context elsewhere).
 \begin{example}
 \begin{codeblock}
 template<class ... Types> void f(Types& ...);
