[moltonel3x]

Sorry, bad mischaracterisation on my part, annoyingly it's too late to edit my post.

Looking at the Ada docs again, it considers manual deallocation an unsafe operation and suggests avoiding it altogether (IIUC, by restricting yourself to the stack or by leaking to the heap). That seems like a huge restriction, making the "Ada is safer than Rust" claims rather academic.

[pjmlp]

Indeed, when using Ada83 and ignoring all the later language standards.

You should compare with Ada 2012 with finalization types and SPARK.

Hardly any different than using unsafe on Rust's standard library, wrapped with safer constructs.