1.5 KiB
1.5 KiB
[basic.scope.contract]
6 Basics [basic]
6.4 Scope [basic.scope]
6.4.10 Contract-assertion scope [basic.scope.contract]
Each contract assertion ([basic.contract])C introduces a contract-assertion scope that includes C.
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
the function parameter scope of F or
if associated with a lambda-declarator, the nearest enclosing lambda scope of the precondition assertion ([expr.prim.lambda]),
the program is ill-formed.