The repostory is here: https://github.com/rust-lang/polonius
There doesn't seem to have been any meaningful development for well over a year.
There is some very recent discussion on Zulip which makes it look like there are at least two or three people interested in actively working on it.
https://rust-lang.zulipchat.com/#narrow/stream/186049-t-comp...
The repostory is here: https://github.com/rust-lang/polonius
There doesn't seem to have been any meaningful development for well over a year.
There is some very recent discussion on Zulip which makes it look like there are at least two or three people interested in actively working on it.
https://rust-lang.zulipchat.com/#narrow/stream/186049-t-comp...