[P4101] Escalating immediate constant expressions

Author: brevzin

4101_consteval_only_values/consteval-only-values.md

@@ -545,7 +545,7 @@ An invocation is an _immediate invocation_ if it [is a potentially-evaluated exp
 [24]{.pnum} A potentially-evaluated expression or conversion is _immediate-escalating_ if it is neither initially in an immediate function context nor a subexpression of an immediate invocation, and [either]{.addu}
 
 * [#.1]{.pnum} it is an `$id-expression$` or `$splice-expression$` that designates an immediate function [or an immediate object, or]{.addu}
-* [#.2]{.pnum} it is an immediate invocation that is not a constant expression[, or]{.rm} [.]{.addu}
+* [#.2]{.pnum} it is an immediate invocation that [either]{.addu} is not a constant expression[,]{.rm} or [is an immediate constant expression.]{.addu}
 * [#.3]{.pnum} [it is of consteval-only type ([basic.types.general]).]{.rm}
 
 [25]{.pnum} An *immediate-escalating* function is [...]

4101_consteval_only_values/p4101r-dan.html

@@ -1496,7 +1496,9 @@ <h2 data-number="4.1" id="wording"><span class="header-section-number">4.1</span
 designates an immediate function <span class="addu">or an immediate
 object, or</span></li>
 <li><span class="marginalizedparent"><a class="marginalized" href="#pnum_66" id="pnum_66">(24.2)</a></span>
-it is an immediate invocation that is not a constant expression<span class="rm" style="color: #bf0303"><del>, or</del></span> <span class="addu">.</span></li>
+it is an immediate invocation that <span class="addu">either</span> is
+not a constant expression<span class="rm" style="color: #bf0303"><del>,</del></span> or <span class="addu">is an
+immediate constant expression.</span></li>
 <li><span class="marginalizedparent"><a class="marginalized" href="#pnum_67" id="pnum_67">(24.3)</a></span>
 <span class="rm" style="color: #bf0303"><del>it is of consteval-only
 type ([basic.types.general]).</del></span></li>