Story thread · 2 reports / 2 sources

Rust preps improved borrow checker for stabilization

infoworld.com · 3dShare

The Rust team has announced that it is enabling the Polonius Alpha borrow checker on nightly releases for testing. The team expects to fully stabilize Polonius Alpha later in the year. The announcement was made in a blog post on August 4 . In the blog post, Rust team member Jack Huey said there are no known remaining issues with Polonius Alpha and performance is generally acceptable for stabilization. Enabling the Polonius Alpha borrow checker on nightly for testing is being done to help find serious performance regressions, unsoundness in the formulation, and diagnostic issues that need to be improved, Huey said. Issues can be reported in GitHub or Zulip. Developers can disable Polonius Alpha and use the stable NLL borrow checker by passing -Zpolonius=off to rustc , using RUSTFLAGS=-Zpolonius=off , or including the following in a project’s .cargo/config.toml configuration file: [target.x86_64-unknown-linux-gnu] rustflags = ["-Zpolonius=off"] The Polonius borrow checker has been in the

First report: An alias-based formulation of the borrow checker (2018) — news.ycombinator.com, 4d