> Still, it's only bringing in the runtime, not compile time, checks it's doable to have both compile-time and run-time checks: https://gcc.godbolt.org/z/oT3

> Still, it's only bringing in the runtime, not compile time, checks it's doable to have both compile-time and run-time checks: https://gcc.godbolt.org/z/oT3adre86 https://gcc.godbolt.org/z/oT3adre86 some compile-time interval calculus library would enable more check and does not seem much harder to implement than a run-time one.