CWG2713 Initialization of reference-to-aggregate from designated initializer list

burblebee · tkoeppe · commit a75c7bf04824 · 2023-07-16T13:00:56.000+01:00
diff --git a/source/declarations.tex b/source/declarations.tex
@@ -5739,7 +5739,8 @@
 \begin{itemize}
 \item
 If the \grammarterm{braced-init-list}
-contains a \grammarterm{designated-initializer-list},
+contains a \grammarterm{designated-initializer-list} and
+\tcode{T} is not a reference type,
 \tcode{T} shall be an aggregate class.
 The ordered \grammarterm{identifier}{s}
 in the \grammarterm{designator}{s}
@@ -5863,7 +5864,9 @@
 \end{example}
 
 \item Otherwise, if
-the initializer list has a single element of type \tcode{E} and either
+the initializer list
+is not a \grammarterm{designated-initializer-list} and
+has a single element of type \tcode{E} and either
 \tcode{T} is not a reference type or its referenced type is
 reference-related to \tcode{E}, the object or reference is initialized
 from that element (by copy-initialization for copy-list-initialization,
@@ -5908,6 +5911,9 @@
 struct A { } a;
 struct B { explicit B(const A&); };
 const B& b2{a};                     // error: cannot copy-list-initialize \tcode{B} temporary from \tcode{A}
+
+struct C { int x; };
+C&& c = { .x = 1 };                 // OK
 \end{codeblock}
 \end{example}
 
diff --git a/source/overloading.tex b/source/overloading.tex
@@ -2356,7 +2356,8 @@
 expression and special rules apply for converting it to a parameter type.
 
 \pnum
-If the initializer list is a \grammarterm{designated-initializer-list},
+If the initializer list is a \grammarterm{designated-initializer-list}
+and the parameter is not a reference,
 a conversion is only possible if
 the parameter has an aggregate type
 that can be initialized from the initializer list
