* Arthur Cohen: > Hi Florian, > > On Mon, Jul 18, 2022, 20:33 Florian Weimer via Gcc <gcc@gcc.gnu.org> wrote:
> No. It would actually make matters worse for GCC in this case because > the stated intent is to ship without a borrow checker (“There are no > immediate plans for a borrow checker as this is not required to compile > rust code”, <https://rust-gcc.github.io/>, retrieved 2022-07-18). > > The website is not up to date and we do have to change that. We do > have plans for borrow-checking, which revolve around using and > contributing to the Polonius project. Ahh, I was wondering about that, but I couldn't find a clear indicator that Polonius is still being developed in upstream Rust. Thanks, Florian
