Progress toward a GCC-based Rust compiler

Posted Dec 15, 2023 16:23 UTC (Fri) by atnot (guest, #124910)
In reply to: Progress toward a GCC-based Rust compiler by Bigos
Parent article: Progress toward a GCC-based Rust compiler

It should be noted that is a relatively recent development. Originally polonius was very much written with the idea that it would be used in rustc.

Progress toward a GCC-based Rust compiler

Posted Dec 16, 2023 13:37 UTC (Sat) by khim (subscriber, #9252) [Link] (1 responses)

What “recent development” are you talking about? Polonius is already integrated into rustc and was on the way to becoming default in Rust 2024 only two months ago.

What happened in these two months???

Progress toward a GCC-based Rust compiler

Posted Dec 16, 2023 14:21 UTC (Sat) by atnot (guest, #124910) [Link]

You're linking to the same article quoted above, which (in the part quoted) explains the difference between polonius-the-implementation and polonius-the-mathematical-model, which was created while developing polonius-the-implementation. It announces that they no longer intend to use polonius-the-implementation in rustc.

This is a recent development, because for the projects multi-year existence, the general consensus was that polonius-the-implementation was going to be used in rustc.

What has been implemented in rustc is, thus, polonius-the-mathematical-model.