P1323R2

Contract postconditions and return type deduction

Kona, Feb 2019C++20Language

Specified postconditions with return type deduction (removed with contracts).

Read P1323R2 on wg21.link →All revisions of P1323

Other papers in Contracts (C++20, removed)

P0542R5Contract-based programmingRapperswil 2018P1289R1Access control in contract conditionsSan Diego 2018P1823R0Remove contractsCologne 2019All 4 papers in Contracts (C++20, removed) →