[dcl.attr.contract] Permit modifications of temporaries within the predicate.

Author: jensmaurer

source/declarations.tex

@@ -4462,8 +4462,7 @@
 The only side effects of a predicate
 that are allowed in a \grammarterm{contract-attribute-specifier}
 are modifications of non-volatile objects
-whose lifetime began and ended within the evaluation of the predicate
-in functions invoked from that predicate.
+whose lifetime began and ended within the evaluation of the predicate.
 An evaluation of a predicate that exits via an exception
 invokes \tcode{std::terminate()}\iref{except.terminate}.
 The behavior of any other side effect is undefined.