CWG2792 Clean up specification of noexcept operator

tkoeppe · Dec 17, 2023 · Nov 13, 2023 · Nov 13, 2023 · Nov 13, 2023 · Nov 13, 2023
commit 084900dc35784515e47c5997fac417bb1001e109
diff --git a/source/expressions.tex b/source/expressions.tex
@@ -5053,31 +5053,29 @@
 
 \rSec3[expr.unary.noexcept]{\tcode{noexcept} operator}
 
-\pnum
 \indextext{\idxcode{noexcept}}%
 \indextext{expression!\idxcode{noexcept}}%
-The \keyword{noexcept} operator determines whether the evaluation of its operand,
-which is an unevaluated operand\iref{term.unevaluated.operand}, can throw an
-exception\iref{except.throw}.
 
 \begin{bnf}
 \nontermdef{noexcept-expression}\br
   \keyword{noexcept} \terminal{(} expression \terminal{)}
 \end{bnf}
 
+\pnum
+The operand of the \keyword{noexcept} operator
+is an unevaluated operand\iref{expr.context}.
+If the operand is a prvalue,
+the temporary materialization conversion\iref{conv.rval} is applied.
+
 \pnum
 The result of the \keyword{noexcept} operator is a prvalue of type \keyword{bool}.
+The result is \tcode{false} if
+the full-expression of the operand is potentially-throwing\iref{except.spec}, and
+\tcode{true} otherwise.
 \begin{note}
 A \grammarterm{noexcept-expression}
 is an integral constant expression\iref{expr.const}.
 \end{note}
-
-\pnum
-If the operand is a prvalue,
-the temporary materialization conversion\iref{conv.rval} is applied.
-The result of the \keyword{noexcept} operator is \keyword{true}
-unless the full-expression of the operand
-is potentially-throwing\iref{except.spec}.
 \indextext{expression!unary|)}
 
 \rSec3[expr.new]{New}