Interesting how this article mentions Rust, and program analysis, but completely fails to mention that Polonius, the next-generation borrow checker project for

Interesting how this article mentions Rust, and program analysis, but completely fails to mention that Polonius, the next-generation borrow checker project for Rust, is based on datalog (source: https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-update.html https://blog.rust-lang.org/inside-rust/2023/10/06/polonius-u...)