LWG3833 Remove specialization template<size_t N> struct formatter<const charT[N], charT>

Author: burblebee

source/compatibility.tex

@@ -249,6 +249,19 @@
                                     // implementation-defined number of \tcode{'*'} characters
 \end{codeblock}
 
+\diffref{format.formatter.spec}
+\change
+Removed the \tcode{formatter} specialization
+\begin{codeblock}
+template<size_t N> struct formatter<const charT[N], charT>.
+\end{codeblock}
+\rationale
+The specialization is inconsistent with the design of \tcode{formatter},
+which is intended to be instantiated only with cv-unqualified object types.
+\effect
+Valid \CppXX{} code that instantiated the removed specialization
+can become ill-formed.
+
 \rSec2[diff.cpp20.strings]{\ref{strings}: strings library}
 
 \diffref{string.classes}

source/utilities.tex

@@ -15812,7 +15812,6 @@
 template<> struct formatter<charT*, charT>;
 template<> struct formatter<const charT*, charT>;
 template<size_t N> struct formatter<charT[N], charT>;
-template<size_t N> struct formatter<const charT[N], charT>;
 template<class traits, class Allocator>
   struct formatter<basic_string<charT, traits, Allocator>, charT>;
 template<class traits>