So you might occasionally see the unsafe package being used to deallocate memory, even though there are better ways to do it, e.g. controlled types.
The other point, is that Rust prevents data races via the type system, while you can deadlock Ada tasks if the monitors aren't properly implemented.
It's not clear to me if you're suggesting otherwise, but you can definitely deadlock Rust as well (although it's true that Rust statically prevents data races).
So you might occasionally see the unsafe package being used to deallocate memory, even though there are better ways to do it, e.g. controlled types.
The other point, is that Rust prevents data races via the type system, while you can deadlock Ada tasks if the monitors aren't properly implemented.