Here is a good summary of how Ada deals with safety in the context of memory management: https://news.ycombinator.com/item?id=14216128

It's not rust but at the same time I think rust has sacrificed general safety in favor of memory safety which has produced a tendency towards a false sense of security.

After all, it seems rust still has memory safety issues despite the borrow checker: https://arxiv.org/pdf/2003.03296.pdf