tmp/tmpkm3f55qj/{from.md → to.md}
RENAMED
|
@@ -80,11 +80,12 @@ void h2() {
|
|
| 80 |
|
| 81 |
— *end note*]
|
| 82 |
|
| 83 |
To determine if an atomic constraint is *satisfied*, the parameter
|
| 84 |
mapping and template arguments are first substituted into its
|
| 85 |
-
expression. If substitution results in an invalid type or expression
|
|
|
|
| 86 |
the constraint is not satisfied. Otherwise, the lvalue-to-rvalue
|
| 87 |
conversion [[conv.lval]] is performed if necessary, and `E` shall be a
|
| 88 |
constant expression of type `bool`. The constraint is satisfied if and
|
| 89 |
only if evaluation of `E` results in `true`. If, at different points in
|
| 90 |
the program, the satisfaction result is different for identical atomic
|
|
|
|
| 80 |
|
| 81 |
— *end note*]
|
| 82 |
|
| 83 |
To determine if an atomic constraint is *satisfied*, the parameter
|
| 84 |
mapping and template arguments are first substituted into its
|
| 85 |
+
expression. If substitution results in an invalid type or expression in
|
| 86 |
+
the immediate context of the atomic constraint [[temp.deduct.general]],
|
| 87 |
the constraint is not satisfied. Otherwise, the lvalue-to-rvalue
|
| 88 |
conversion [[conv.lval]] is performed if necessary, and `E` shall be a
|
| 89 |
constant expression of type `bool`. The constraint is satisfied if and
|
| 90 |
only if evaluation of `E` results in `true`. If, at different points in
|
| 91 |
the program, the satisfaction result is different for identical atomic
|