Contracts (C++20, removed)
Contract attributes adopted at Rapperswil 2018 and removed at Cologne 2019.
Connected features
Papers
4 · Rapperswil 2018 → Cologne 2019Added contract attributes [[expects]], [[ensures]], [[assert]] at Rapperswil 2018; removed at Cologne 2019.
Specified access control in contract conditions (removed with contracts).
Specified postconditions with return type deduction (removed with contracts).
Removes contracts from C++20.