Rust 117 🦀 Exception Safety in Unsafe Rust and Abort-On-Panic Strategies
Unsafe Rust code inherits a contract that safe code does not: it must maintain memory safety even when a panic unwinds through it. This is called minimal exception safety, and violating it produces undefined behavior. The second half of the problem is strategic: sometimes the right response to a potential panic is not to unwind…