CWG2312 Structured bindings and mutable

Author: burblebee

source/declarations.tex

@@ -6581,7 +6581,7 @@
 that is a function template whose first template parameter
 is a non-type parameter,
 the initializer is
-\tcode{\exposid{e}.get<i>()}. Otherwise, the initializer is \tcode{get<i>(\exposid{e})},
+\tcode{\exposidnc{e}.get<i>()}. Otherwise, the initializer is \tcode{get<i>(\exposid{e})},
 where \tcode{get} is looked up in the associated namespaces\iref{basic.lookup.argdep}.
 In either case, \tcode{get<i>} is interpreted as a \grammarterm{template-id}.
 \begin{note}
@@ -6610,7 +6610,7 @@
 all of \tcode{E}'s non-static data members
 shall be direct members of \tcode{E} or
 of the same base class of \tcode{E},
-well-formed when named as \tcode{\exposid{e}.\placeholder{name}}
+well-formed when named as \tcode{\exposidnc{e}.\placeholder{name}}
 in the context of the structured binding,
 \tcode{E} shall not have an anonymous union member, and
 the number of elements in the \grammarterm{identifier-list} shall be
@@ -6620,16 +6620,20 @@
 (in declaration order),
 each \tcode{v}$_i$ is the
 name of an lvalue that refers to the member \tcode{m}$_i$ of \exposid{e} and
-whose type is \cv{}~$\tcode{T}_i$, where $\tcode{T}_i$ is the declared type of
-that member; the referenced type is \cv{}~$\tcode{T}_i$. The lvalue is a
+whose type is
+that of \tcode{\exposidnc{e}.$\tcode{m}_i$}\iref{expr.ref};
+the referenced type is
+the declared type of $\tcode{m}_i$ if that type is a reference type, or
+the type of \tcode{\exposidnc{e}.$\tcode{m}_i$} otherwise.
+The lvalue is a
 bit-field if that member is a bit-field.
 \begin{example}
 \begin{codeblock}
-struct S { int x1 : 2; volatile double y1; };
+struct S { mutable int x1 : 2; volatile double y1; };
 S f();
 const auto [ x, y ] = f();
 \end{codeblock}
-The type of the \grammarterm{id-expression} \tcode{x} is ``\tcode{const int}'',
+The type of the \grammarterm{id-expression} \tcode{x} is ``\tcode{int}'',
 the type of the \grammarterm{id-expression} \tcode{y} is ``\tcode{const volatile double}''.
 \end{example}