polonius-engine
| Crates.io | polonius-engine |
| lib.rs | polonius-engine |
| version | 0.13.0 |
| source | src |
| created_at | 2018-05-24 16:17:23.078331 |
| updated_at | 2021-08-03 18:10:51.428318 |
| description | Core definition for the Rust borrow checker |
| homepage | |
| repository | https://github.com/rust-lang-nursery/polonius |
| max_upload_size | |
| id | 66914 |
| size | 91,170 |
wg-polonius (github:rust-lang:wg-polonius)
documentation
README
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.