7 ms·

Thanks for the input and links. I'll need to test out the costs of the mitigations. BTW, I found one of the rust rfc documents helpful for understanding the bo

by mimd 2y ago

Thanks for the input and links. I'll need to test out the costs of the mitigations. BTW, I found one of the rust rfc documents helpful for understanding the borrow checker. Do you know if there is a similar rust RFC document for the upcoming polonius borrowchecker, even if it's just a working copy? I'm having trouble finding anything beyond some blog posts.

aw1621107 2y ago
Unfortunately I'm not super-familiar with developments around Polonius, so chances are what I can point you towards are the same things you found when searching. The most relevant bits appear to be the Polonius book [0] linked from the repo [1], but I don't know how up to date the book is or if there are more up-to-date resources. The RFC book [2] doesn't seem to have anything obviously about Polonius either. [0]: https://rust-lang.github.io/polonius/ https://rust-lang.github.io/polonius/ [1]: https://github.com/rust-lang/polonius https://github.com/rust-lang/polonius [2]: https://rust-lang.github.io/rfcs/ https://rust-lang.github.io/rfcs/