Comment by thesuperbigfrog

Ada does not have any formalized FFI with Rust at this time; just C, COBOL, and Fortran:

http://ada-auth.org/standards/22rm/html/RM-B.html

AdaCore has a Rust toolchain:

https://www.adacore.com/gnatpro-rust