Is Ada safer than Rust?

I saw a comment by u/Kevlar-700 that said:

Ada without Spark is actually safer than Rust due to it's richer type system without the pain of borrowing by using the stack, which is also faster than the heap. I never use the heap and the stack is memory safe for all general purposes in Ada. Pools in full Ada such as on Linux are used for safe heap use. Spark has some basic borrowing support which may be where the confusion is coming from.

(SPARK is basically a theorem prover that you can use with Ada, but it's very tedious, as I understand it. And "memory pools" are what Ada calls arenas)

I'm not interested in language advocacy. I would just like to get to the bottom of this question: Is Ada (without SPARK) safer than Rust, while also being faster and easier to use?

---

Edit: There is a fairly small number of people who have used both Rust and Ada extensively. I was hoping that they'd see this post and share their insights, but I guess it was not to be -- downvoted.