[basic.scope.contract] (original) (raw)

6 Basics [basic]

6.4.10 Contract-assertion scope [basic.scope.contract]

1

#

Each contract assertion ([basic.contract])C introduces a contract-assertion scopethat 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 Fpotentially 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.