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