tmp/tmps5ortcjz/{from.md → to.md}
RENAMED
|
@@ -8,13 +8,14 @@ compound-requirement:
|
|
| 8 |
``` bnf
|
| 9 |
return-type-requirement:
|
| 10 |
'->' type-constraint
|
| 11 |
```
|
| 12 |
|
| 13 |
-
A *compound-requirement* asserts properties of the *expression* E.
|
| 14 |
-
|
| 15 |
-
|
|
|
|
| 16 |
|
| 17 |
- Substitution of template arguments (if any) into the *expression* is
|
| 18 |
performed.
|
| 19 |
- If the `noexcept` specifier is present, E shall not be a
|
| 20 |
potentially-throwing expression [[except.spec]].
|
|
|
|
| 8 |
``` bnf
|
| 9 |
return-type-requirement:
|
| 10 |
'->' type-constraint
|
| 11 |
```
|
| 12 |
|
| 13 |
+
A *compound-requirement* asserts properties of the *expression* E. The
|
| 14 |
+
*expression* is an unevaluated operand. Substitution of template
|
| 15 |
+
arguments (if any) and verification of semantic properties proceed in
|
| 16 |
+
the following order:
|
| 17 |
|
| 18 |
- Substitution of template arguments (if any) into the *expression* is
|
| 19 |
performed.
|
| 20 |
- If the `noexcept` specifier is present, E shall not be a
|
| 21 |
potentially-throwing expression [[except.spec]].
|