[mitchty]

You can't know everything at compile time. Runtime checks are witnesses that run at program execution instead of compile time.

[gmfawcett]

Right, and this is equally true in Rust and C++ (and any other systems language). Zero-cost abstractions doesn't mean that the compiler is imbued with magical properties.