Progress toward a GCC-based Rust compiler

Posted Dec 16, 2023 13:35 UTC (Sat) by khim (subscriber, #9252)
In reply to: Progress toward a GCC-based Rust compiler by Bigos
Parent article: Progress toward a GCC-based Rust compiler

I think you are mixing story of Polonius and Chalk.

Attempts to bring Chalk into rustc were, indeed, abandoned. And new replacement is supposed to be built, more tightly integrated with rustc.

Polonius, on the other hand, was integrated long ago. It's not enabled by default, but that is supposed to replace current borrow checker in Rust 2024.

Progress toward a GCC-based Rust compiler

Posted Dec 16, 2023 20:14 UTC (Sat) by josh (subscriber, #17465) [Link]

As noted elsewhere in this thread, the question is whether you mean Polonius the standalone datalog-based implementation, or the algorithm that that implementation prototyped.