Probably related: "Gnat Pro for Rust": https://www.adacore.com/press/adacore-announces-gnat-pro-for-rust https://www.adacore.com/press/adacore-announces-gnat-pr

Probably related: "Gnat Pro for Rust": https://www.adacore.com/press/adacore-announces-gnat-pro-for-rust https://www.adacore.com/press/adacore-announces-gnat-pro-for...