On: Assertions are pessimistic, assumptions are optimi...

[raldi]

Brilliant. I’m actually surprised to see, nine years later, that this isn’t on track to make it into the next version of the C standard.

[leni536 → raldi]

It's part of C++23, in form of an attribute https://en.cppreference.com/w/cpp/language/attributes/assume.