This is a core library that models the borrow check. It implements the
analysis [described in this blogpost][post]. This library is intended
for use both by rustc and by the polonius crate, which is a distinct
front-end intended for testing, profiling, etc.