This kind of already exists in the form of #[no_panic] [1]? > If the function does panic (or the compiler fails to prove that the function cannot panic), the p

This kind of already exists in the form of #[no_panic] [1]? > If the function does panic (or the compiler fails to prove that the function cannot panic), the program fails to compile with a linker error that identifies the function name. 1: https://github.com/dtolnay/no-panic https://github.com/dtolnay/no-panic