@lqd gonna merge https://github.com/rust-lang/polonius/pull/125, ok?
step 2 PR posted https://github.com/rust-lang/polonius/pull/127 (out of 3/4 total steps I think — there are other single-letters uses in the graphviz/output code of the polonius binary, and the 2 files in polonius-engine Albin was working on, and which I wanted to leave for a while in case it conflicted with their work)
@lqd nope go ahead!
I'll do that soon then
done, I've pushed to https://github.com/rust-lang/polonius/pull/127 and it should rename pretty much everything I think
Yay! I saw your PR for cleaning up the dependencies as well, nice
This also means I'll get to work tweaking initialisation next week, hopefully