Rust is precise with what it guarantees, but don’t take “not an absolute guarantee in every case” as “no guarantee at all”. Leaking in Rust requires either exp

Rust is precise with what it guarantees, but don’t take “not an absolute guarantee in every case” as “no guarantee at all”. Leaking in Rust requires either explicit leaking function call, leaking in C/FFI code, or a type that is 1. recursive 2. refcounted 3. with interior mutability, and 4. a programming error in use of such type. If any of these four conditions aren’t met, it can’t leak.