Defines the Rust borrow checker.
Why do you think that https://github.com/ferrocene/specification is a good alternative to polonius
Defines the Rust borrow checker.
Why do you think that https://github.com/ferrocene/specification is a good alternative to polonius