polonius 0.3.0

Core definition for the Rust borrow checker