rustc/vendor/polonius-engine
2021-10-14 22:30:45 +01:00
..
src New upstream version 1.56.0~beta.4+dfsg1 2021-10-14 22:30:45 +01:00
.cargo-checksum.json New upstream version 1.56.0~beta.4+dfsg1 2021-10-14 22:30:45 +01:00
Cargo.toml New upstream version 1.56.0~beta.4+dfsg1 2021-10-14 22:30:45 +01:00
README.md New upstream version 1.32.0~beta.2+dfsg1 2018-12-16 10:13:16 -08:00

This is a core library that models the borrow check. It implements the analysis described in this blogpost. 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.