CWG2339 Underspecified template arguments in structured bindings

Author: tkoeppe

source/declarators.tex

@@ -2315,7 +2315,10 @@
 and
 the number of elements in
 the \grammarterm{identifier-list} shall be equal to the value of that
-expression. The \grammarterm{unqualified-id} \tcode{get} is looked up
+expression.
+Let \tcode{i} be an index prvalue of type \tcode{std::size_t}
+corresponding to $\tcode{v}_\tcode{i}$.
+The \grammarterm{unqualified-id} \tcode{get} is looked up
 in the scope of \tcode{E} by class member access lookup\iref{basic.lookup.classref},
 and if that finds at least one declaration
 that is a function template whose first template parameter