summaryrefslogtreecommitdiffstats
path: root/vendor/polonius-engine/README.md
blob: d88295e715f6fcab1fd4d36020da627fee07f4a5 (plain)
1
2
3
4
5
6
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.

[post]: http://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/