CWG2397 auto specifier for pointers and references to arrays

Author: jensmaurer

source/declarations.tex

@@ -1924,6 +1924,7 @@
 and $E$ is the corresponding template argument.
 \end{itemize}
 
+\tcode{T} shall not be an array type.
 In the case of a \tcode{return} statement with no operand
 or with an operand of type \keyword{void},
 \tcode{T} shall be either
@@ -3143,7 +3144,6 @@
 \pnum
 \tcode{U} is called the array \defn{element type};
 this type shall not be
-a placeholder type\iref{dcl.spec.auto},
 a reference type,
 a function type,
 an array of unknown bound, or
@@ -3606,6 +3606,9 @@
 \indextext{function return type|see{return type}}%
 \indextext{return type}%
 The return type shall be a non-array object type, a reference type, or \cv{}~\keyword{void}.
+\begin{note}
+An array of placeholder type is considered an array type.
+\end{note}
 
 \pnum
 A volatile-qualified return type is deprecated;