zero-cost-abstractions 1 Memory Safety Without a GC: The Mathematical Guarantees of Rust's Borrow Checker Sep 10, 2026