polonius (cargo): Core definition for the Rust borrow checker
Keywords: compiler|datalog|borrowck