Its also being used in the creation of Rust's next gen borrow checker Polonious.