Rust's Two Kinds of 'Assert' Make for Better Code
tratt.net
tratt.net
Doesn't C have both static_assert and assert as part of the standard library?
That's about runtime vs compile time assertions.
The article talks about something completely different.