Defines the Rust borrow checker.
Why do you think that https://github.com/vmware/differential-datalog is a good alternative to polonius
Defines the Rust borrow checker.
Why do you think that https://github.com/vmware/differential-datalog is a good alternative to polonius