CWG2285 Issues with structured bindings

Author: jensmaurer

source/basic.tex

@@ -808,9 +808,14 @@
 
 \pnum
 The point of declaration for a function-local predefined
-variable\iref{dcl.fct.def} is immediately before the
+variable\iref{dcl.fct.def.general} is immediately before the
 \grammarterm{function-body} of a function definition.
 
+\pnum
+The point of declaration of a structured binding\iref{dcl.struct.bind}
+is immediately after
+the \grammarterm{identifier-list} of the structured binding declaration.
+
 \pnum
 The point of declaration for the variable or the structured bindings
 declared in the \grammarterm{for-range-declaration}

source/declarators.tex

@@ -2297,6 +2297,11 @@
 \tcode{E} is never a reference type\iref{expr.prop}.
 \end{note}
 
+\pnum
+If the \grammarterm{initializer} refers to
+one of the names introduced by the structured binding declaration,
+the program is ill-formed.
+
 \pnum
 If \tcode{E} is an array type with element type \tcode{T}, the number
 of elements in the \grammarterm{identifier-list} shall be equal to the