> My understanding, its significantly safer than Rust (and based on Ada) with equal performance.

Ada or Ada Spark? Ada Spark is more of a theorem prover, so the comparison to Rust is a bit weird.

It's true it's safer - it will protect you from a more programming errors, but you need more annotations to prove properties of a program.