Merge 2018-03 CWG Motion 4

Author: zygoloid

source/declarators.tex

@@ -2370,11 +2370,15 @@
 the referenced type is $\tcode{T}_i$.
 
 \pnum
-Otherwise, all of \tcode{E}'s non-static data members shall be public direct
-members of \tcode{E} or of the same unambiguous public base class of \tcode{E},
-\tcode{E} shall not have an anonymous union member, and the number of elements
-in the \grammarterm{identifier-list} shall be equal to the number of non-static
-data members of \tcode{E}.
+Otherwise,
+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{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
+equal to the number of non-static data members of \tcode{E}.
 Designating the non-static data members of \tcode{E} as
 \tcode{m}$_0$, \tcode{m}$_1$, \tcode{m}$_2$, ...
 (in declaration order),