On: Adding a Rust compiler front end to GCC [video]

[Aissen]

I'm curious if anyone has any feedback on polonius ? Is it still active ? Is it still supposed to be the next-generation borrow checker ?

[mjw1007 → Aissen]

As I understand it, Polonius is still intended to be the next version of the borrow checker.

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...

[nestorD → Aissen]

It is still active[1] and he goal is indeed for it to be the next borrow checker.

[1]: two months ago: https://www.reddit.com/r/rust/comments/ufmzcl/is_polonius_de...