This is pretty epic. @frankmcsherry and @lqd ported the new borrow-check analysis (now dubbed Polonius) to using datafrog, a new lightweight datalog engine by @frankmcsherry. End result: 2x improvement, plus it builds way faster too.https://github.com/rust-lang-nursery/polonius/pull/36#issuecomment-390393717 …
-
Show this thread
If you're interested in getting involved, there is a starter issue for doing some cleanup here:https://github.com/rust-lang-nursery/polonius/issues/37 …
0 replies
5 retweets
15 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.