[7e]

You could do it, but I would prefer guarantees on a per-call chain basis using a sanitizer. It should be quite easy to write.

[davisp]

I'm no rustc expert, but from what little I know it seems like disabling panics for a crate would be an obvious first step. You make a great point though. Turning that into a compiler assertion of "this function will never panic" would also be useful.

[7e]

It’s a good first step, but half of the crates in crates.io have at least 40 transitive dependencies. Some have hundreds or thousands. A big effort.