P3169 R0 Inherited contracts

[wg21bot]

P3169R0 Inherited contracts (Jonas Persson)

[timuraudio]

Considered and rejected by SG21 at 2024-06-06 telecon:

Poll 2. SG21 would like to spend more time considering, for the Contracts MVP, pre and post for virtual functions as proposed in P3169R0: a virtual function call first evaluates the precondition assertions of the statically called function, then executes the body of the final overrider, and finally evaluates the postconditions of all overridden functions.
SF F N A SA
2 0 1 8 5
Result: Consensus against