On Wed, 17 Aug 2022 at 17:20, Bjorn Reese via Std-Proposals <
std-proposals_at_[hidden]> wrote:

> On 8/17/22 16:52, Florian Gavril via Std-Proposals wrote:
>
> > As everyone knows that, the assert macro is very useful to find out
> > unexpected conditions on the development stage, but for the production
> > builds, the NDEBUG is usually enabled and assert is actually disabled.
>
> You may want to look into contracts: http://wg21.link/P0542
>

Yes, this is Contracts. Some more recent paper series:
http://wg21.link/p2182 and http://wg21.link/p2388