"safety" in Rust means "memory safety".
panicis memory safe. Code
that is memory safe can still have other kinds of bugs.
Indeed, I'm not arguing @peter_bertok used the right Rust-y jargon, just
that there are real-world cases for wanting code that could provably not
panic 