no-panics 0.0.1

Attribute macro to require that the compiler prove a function can't ever panic.
Documentation