rustc/vendor/polonius-engine
2020-02-13 10:48:30 +01:00
..
src New upstream version 1.41.0+dfsg0+pve1 2020-02-13 10:48:30 +01:00
.cargo-checksum.json New upstream version 1.41.0+dfsg0+pve1 2020-02-13 10:48:30 +01:00
Cargo.toml New upstream version 1.41.0+dfsg0+pve1 2020-02-13 10:48:30 +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.