News for hackers. Stuff that matters.
Re:Concepts: The Future of Generic Programming [pdf] by matt_d on Wednesday December 21, 2016 @11:45AM (#13230512)
I believe the contracts (preconditions, postconditions, assertions) proposal may address this issue.

The latest proposal is P0380, "A Contract Design": https://wg21.link/P0380.

An earlier work, "Simple Contracts for C++" (https://wg21.link/P0287), gives some further background and motivation.

Notably, contracts are currently solely in the proposal stage (and not in the upcoming standard).

There are no comments on this comment yet.