Ada has destructors and can limit pointer type to lifetimes of large memory pools, but as far as I know it doesn’t prevent use-after-free for single objects the way Rust does. Lots of Ada is embedded on small platforms where they statically allocate a fixed number of objects anyway.