Merge 2024-11 CWG Motion 8

P3176R1 The Oxford variadic comma

source/declarations.tex

@@ -3623,8 +3623,10 @@
 \indextext{declaration!function}%
 \begin{bnf}
 \nontermdef{parameter-declaration-clause}\br
-    \opt{parameter-declaration-list} \opt{\terminal{...}}\br
-    parameter-declaration-list \terminal{,} \terminal{...}
+    \terminal{...}\br
+    \opt{parameter-declaration-list}\br
+    parameter-declaration-list \terminal{,} \terminal{...}\br
+    parameter-declaration-list \terminal{...}
 \end{bnf}
 
 \begin{bnf}
@@ -3680,9 +3682,13 @@
 argument and are not function parameter packs.
 Where syntactically correct and where ``\tcode{...}'' is not
 part of an \grammarterm{abstract-declarator},
-``\tcode{, ...}''
+``\tcode{...}''
 is synonymous with
-``\tcode{...}''.
+``\tcode{, ...}''.
+A \grammarterm{parameter-declaration-clause}
+of the form
+\grammarterm{parameter-declaration-list} \tcode{...}
+is deprecated\iref{depr.ellipsis.comma}.
 \begin{example}
 The declaration
 \begin{codeblock}

source/future.tex

@@ -115,6 +115,19 @@
 \end{codeblock}
 \end{example}
 
+\rSec1[depr.ellipsis.comma]{Non-comma-separated ellipsis parameters}
+
+A \grammarterm{parameter-declaration-clause}
+of the form
+\grammarterm{parameter-declaration-list} \tcode{...}
+is deprecated\iref{dcl.fct}.
+\begin{example}
+\begin{codeblock}
+void f(int...);         // deprecated
+void g(auto...);        // OK, declares a function parameter pack
+void h(auto......);     // deprecated
+\end{codeblock}
+\end{example}
 
 \rSec1[depr.impldec]{Implicit declaration of copy functions}