CWG2681 Deducing member array type from string literal

Author: burblebee

source/overloading.tex

@@ -1258,9 +1258,14 @@
 \begin{itemize}
 \item
 if $e_i$ is of array type and
-$x_i$ is a \grammarterm{braced-init-list} or \grammarterm{string-literal},
+$x_i$ is a \grammarterm{braced-init-list},
 $\tcode{T}_i$ is an rvalue reference to the declared type of $e_i$, and
 \item
+if $e_i$ is of array type and
+$x_i$ is a \grammarterm{string-literal},
+$\tcode{T}_i$ is an lvalue reference to
+the const-qualified declared type of $e_i$, and
+\item
 otherwise, $\tcode{T}_i$ is the declared type of $e_i$,
 \end{itemize}
 except that additional parameter packs of the form $\tcode{P}_j \tcode{...}$
@@ -1330,6 +1335,23 @@
 }
 
 G g(true, 'a', 1);  // OK, deduces \tcode{G<char, bool>}
+
+template<class T, std::size_t N>
+struct H {
+  T array[N];
+};
+template<class T, std::size_t N>
+struct I {
+  volatile T array[N];
+};
+template<std::size_t N>
+struct J {
+  unsigned char array[N];
+};
+
+H h = { "abc" };    // OK, deduces \tcode{H<char, 4>} (not \tcode{T = const char})
+I i = { "def" };    // OK, deduces \tcode{I<char, 4>}
+J j = { "ghi" };    // error: cannot bind reference to array of \tcode{unsigned char} to array of \tcode{char} in deduction
 \end{codeblock}
 \end{example}