tmp/tmpr_5wi3zm/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,16 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
### Contract-assertion scope <a id="basic.scope.contract">[[basic.scope.contract]]</a>
|
| 2 |
+
|
| 3 |
+
Each contract assertion [[basic.contract]] C introduces a
|
| 4 |
+
*contract-assertion scope* that includes C.
|
| 5 |
+
|
| 6 |
+
If a *result-name-introducer* [[dcl.contract.res]] that is not
|
| 7 |
+
name-independent [[basic.scope.scope]] and whose enclosing postcondition
|
| 8 |
+
assertion is associated with a function `F` potentially conflicts with a
|
| 9 |
+
declaration whose target scope is
|
| 10 |
+
|
| 11 |
+
- the function parameter scope of `F` or
|
| 12 |
+
- if associated with a *lambda-declarator*, the nearest enclosing lambda
|
| 13 |
+
scope of the precondition assertion [[expr.prim.lambda]],
|
| 14 |
+
|
| 15 |
+
the program is ill-formed.
|
| 16 |
+
|