This post discusses the roadmap for implementing Polonius in Rust, a new formulation of the borrow checker. It explains the background of Polonius, the key ideas behind it, and outlines the milestones for its implementation.
Sort: