6 Basics [basic]

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

• (2.1)
  the function parameter scope of F or
• (2.2)
  if associated with a lambda-declarator, the nearest enclosing lambda scope of the postcondition assertion ([expr.prim.lambda]),

the program is ill-formed.