6
Basics
[basic]
6.4
Scope
[basic.scope]
6.4.10
Contract-assertion scope
[basic.scope.contract]
1
#
Each contract assertion (
[basic.
contract]
)
C
introduces a
contract-assertion scope
that includes
C
.
2
#
If a
result-name-introducer
(
[dcl.
contract.
res]
) that is not name-independent (
[basic.
scope.
scope]
) and whose enclosing postcondition assertion is associated with a function
F
potentially conflicts with a declaration whose target scope is
(2.1)
the function parameter scope of
F
or
(2.2)
if associated with a
lambda-declarator
, the nearest enclosing lambda scope of the precondition assertion (
[expr.
prim.
lambda]
),
the program is ill-formed
.