On Wed, 17 Aug 2022 at 17:20, Bjorn Reese via Std-Proposals <std-proposals@lists.isocpp.org> 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