This article proposes integrating Rust into CPython to enhance memory safety and thread safety. Initially, Rust will be used for optional extension modules, with plans for it to become a required dependency in future versions. The authors highlight Rust's advantages, including its strong safety guarantees and efficient data structures.

Google reports significant gains in memory safety by adopting Rust for Android development. Memory safety vulnerabilities dropped below 20% for the first time, and Rust's code changes are not only safer but also faster to implement, showing a marked reduction in rollback rates and code review times.

Tree Borrows is a new framework that enhances the Rust programming language's ownership-based type system by replacing the stack in Stacked Borrows with a tree structure. This change reduces the rejection of valid test cases by 54% and enables additional optimizations, including read-read reorderings, while maintaining most benefits of the original Stacked Borrows. The work was recognized with a Distinguished Paper Award at PLDI'25.

Rust's borrowchecker, while designed to enforce memory safety by managing ownership rules, often creates significant ergonomic challenges for developers. These challenges arise from its strict compile-time requirements and inability to accurately reason about certain code patterns, leading to frustrating compilation errors that can impede development. The article argues that the borrowchecker's role in ensuring safety is overstated and highlights cases where it unnecessarily rejects valid code.