Why not?

It looks like an official borrow checker implementation called Polonius uses it as a dependency, so it makes sense: https://github.com/rust-lang/polonius/blob/981785c101b68ff54...

Note that while Polonius is officially developed by the Rust project, it's still experimental. The goal is to someday ship it as part of rustc, but it still needs work.