Comment by gronpi

Deferring to runtime is not always great, since not only can it incur runtime overhead, the code can also panic if a violation is detected.