LWG3825 Missing compile-time argument id check in basic_format_parse_context::next_arg_id

Author: burblebee

source/utilities.tex

@@ -16142,7 +16142,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-If \tcode{indexing_ != manual}, equivalent to:
+If \tcode{indexing_ != manual} is \tcode{true}, equivalent to:
 \begin{codeblock}
 if (indexing_ == unknown)
   indexing_ = automatic;
@@ -16151,8 +16151,14 @@
 
 \pnum
 \throws
-\tcode{format_error} if \tcode{indexing_ == manual}
+\tcode{format_error} if \tcode{indexing_ == manual} is \tcode{true}
 which indicates mixing of automatic and manual argument indexing.
+
+\pnum
+\remarks
+Let \tcode{\placeholder{cur-arg-id}} be the value of \tcode{next_arg_id_} prior to this call.
+Call expressions where \tcode{\placeholder{cur-arg-id} >= num_args_} is \tcode{true}
+are not core constant expressions\iref{expr.const}.
 \end{itemdescr}
 
 \indexlibrarymember{check_arg_id}{basic_format_parse_context}%
@@ -16163,7 +16169,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-If \tcode{indexing_ != automatic}, equivalent to:
+If \tcode{indexing_ != automatic} is \tcode{true}, equivalent to:
 \begin{codeblock}
 if (indexing_ == unknown)
   indexing_ = manual;
@@ -16172,12 +16178,12 @@
 \pnum
 \throws
 \tcode{format_error} if
-\tcode{indexing_ == automatic} which indicates mixing of automatic and
-manual argument indexing.
+\tcode{indexing_ == automatic} is \tcode{true}
+which indicates mixing of automatic and manual argument indexing.
 
 \pnum
 \remarks
-Call expressions where \tcode{id >= num_args_} are not
+Call expressions where \tcode{id >= num_args_} is \tcode{true} are not
 core constant expressions\iref{expr.const}.
 \end{itemdescr}