Comment by Tuna-Fish

> I meant Rust is a copy of Ada in general

Have you ever actually looked at rust? The headline feature of Rust is linear types with checked borrowing, something that Ada does not provide.