[P2570R0](https://wg21.link/p2570r0) On side effects in contract annotations (Andrzej Krzemieński)