FIXUP

Author: tkoeppe

source/meta.tex

@@ -3247,8 +3247,13 @@
   or conversion function template.
   Otherwise, \tcode{false}.
 \item
-  Otherwise, if \tcode{r} represents the $i^\text{th}$ parameter
-  of a function $F$,
+  Otherwise, if \tcode{r} represents the $i^\text{th}$ parameter of a function $F$
+  that is an (implicit or explicit) specialization of a templated function $T$
+  and the $i^\text{th}$ parameter of the instantiated declaration of $T$
+  whose template arguments are those of $F$ would be instantiated from a pack,
+  then \tcode{false}.
+\item
+  Otherwise, if \tcode{r} represents the parameter $P$ of  a function $F$,
   then let $S$ be the set of declarations,
   ignoring any explicit instantiations,
   that precede some point in the evaluation context
@@ -3431,8 +3436,9 @@
 enumerator,
 non-static data member,
 unnamed bit-field,
-direct base class relationship, or
-data member description.
+direct base class relationship,
+data member description, or
+function parameter.
 Otherwise, \tcode{false}.
 \end{itemdescr}