Loading...
Rust-Fest Impl Days NLL
Datalog based borrow checker idea:
http://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/
Datafrog description:
https://github.com/frankmcsherry/blog/blob/master/posts/2018-05-19.md
NLL Triage document:
+
Non-lexical lifetimes (NLL) Triage
Polonius repo:
https://github.com/rust-lang-nursery/polonius
Datafrog repo:
https://github.com/rust-lang-nursery/datafrog
NLL tracking issue:
https://github.com/rust-lang/rust/issues/43234
Good issues to work on:
https://github.com/rust-lang-nursery/polonius/issues/12
(Yati,
Andrea)
[Fixed
with
https://github.com/rust-lang-nursery/polonius/pull/63
]
https://github.com/rust-lang-nursery/polonius/issues/19
https://github.com/rust-lang-nursery/polonius/issues/20
(Julien
Cretin @ia0)
Maybe:
https://github.com/rust-lang/rust/issues/50716
(Vytautas)
Maybe:
https://github.com/rust-lang/rust/issues/47184
Maybe:
https://github.com/rust-lang/rust/issues/48417
(Jaime
Valdemoros)
Please turn on JavaScript to use Paper in all of its awesomeness. ^_^
https://github.com/rust-lang-nursery/polonius/issues/19