[expr.prim.req.simple] - C++23 → Trunk

Files changed (1) hide show

tmp/tmpes0a06av/{from.md → to.md} RENAMED Viewed

@@ -3,16 +3,16 @@
 ``` bnf
 simple-requirement:
     expression ';'
 ```
-A *simple-requirement* asserts the validity of an *expression*.
 [*Note 1*: The enclosing *requires-expression* will evaluate to `false`
-if substitution of template arguments into the *expression* fails. The
-*expression* is an unevaluated operand
-[[term.unevaluated.operand]]. — *end note*]
 [*Example 1*:
 ``` cpp
 template<typename T> concept C =

 ``` bnf
 simple-requirement:
     expression ';'
 ```
+A *simple-requirement* asserts the validity of an *expression*. The
+*expression* is an unevaluated operand.
 [*Note 1*: The enclosing *requires-expression* will evaluate to `false`
+if substitution of template arguments into the *expression*
+fails. — *end note*]
 [*Example 1*:
 ``` cpp
 template<typename T> concept C =

Diff to HTML by rtfpessoa