3 ms·
It looks like an official borrow checker implementation called Polonius uses it as a dependency, so it makes sense: https://github.com/rust-lang/polonius/blob/9
by idmitrievsky 4y ago
It looks like an official borrow checker implementation called Polonius uses it as a dependency, so it makes sense: https://github.com/rust-lang/polonius/blob/981785c101b68ff54663f34557ad85d5e9478dc7/polonius-engine/Cargo.toml https://github.com/rust-lang/polonius/blob/981785c101b68ff54...
- kibwen 4y agoNote that while Polonius is officially developed by the Rust project, it's still experimental. The goal is to someday ship it as part of rustc, but it still needs work.