LWG3892 Incorrect formatting of nested ranges and tuples

Author: burblebee

source/utilities.tex

@@ -15735,7 +15735,7 @@
 
 \begin{ncbnf}
 \fmtnontermdef{format-spec}\br
-    \textnormal{as specified by the \tcode{formatter} specialization for the argument type}
+    \textnormal{as specified by the \tcode{formatter} specialization for the argument type; cannot start with \terminal{\}} }
 \end{ncbnf}
 
 \pnum
@@ -16784,7 +16784,7 @@
 \fmtgrammarterm{format-spec}\iref{format.string}
 of the replacement field being formatted
 in the format string.
-If \fmtgrammarterm{format-spec} is empty then either
+If \fmtgrammarterm{format-spec} is not present or empty then either
 \tcode{pc.begin() == pc.end()} or
 \tcode{*pc.begin() == '\}'}.
 
@@ -17758,8 +17758,11 @@
 \begin{itemdescr}
 \pnum
 \effects
-Parses the format specifier as a \fmtgrammarterm{range-format-spec} and
+Parses the format specifiers as a \fmtgrammarterm{range-format-spec} and
 stores the parsed specifiers in \tcode{*this}.
+Calls \tcode{\exposid{underlying_}.parse(ctx)} to parse
+\fmtgrammarterm{format-spec} in \fmtgrammarterm{range-format-spec} or,
+if the latter is not present, an empty \fmtgrammarterm{format-spec}.
 The values of
 \exposid{opening-bracket_}, \exposid{closing-bracket_}, and \exposid{separator_}
 are modified if and only if required by
@@ -18602,7 +18605,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Parses the format specifier as a \fmtgrammarterm{tuple-format-spec} and
+Parses the format specifiers as a \fmtgrammarterm{tuple-format-spec} and
 stores the parsed specifiers in \tcode{*this}.
 The values of
 \exposid{opening-bracket_},
@@ -18611,6 +18614,8 @@
 are modified if and only if
 required by the \fmtgrammarterm{tuple-type}, if present.
 For each element \tcode{\placeholder{e}} in \exposid{underlying_},
+calls \tcode{\placeholder{e}.parse(ctx)} to parse
+an empty \fmtgrammarterm{format-spec} and,
 if \tcode{\placeholder{e}.set_debug_format()} is a valid expression,
 calls \tcode{\placeholder{e}.set_debug_format()}.