17 releases (breaking)
Uses old Rust 2015
| 0.13.0 | Aug 3, 2021 |
|---|---|
| 0.12.1 | Mar 29, 2020 |
| 0.12.0 | Feb 17, 2020 |
| 0.11.0 | Dec 3, 2019 |
| 0.5.0 | May 31, 2018 |
#216 in Programming languages
55,361 downloads per month
Used in polonius
92KB
1.5K
SLoC
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.
Dependencies
~180KB