[Throw839]

But that elimites purpose for Ada. Rust has better type system to deal with this.

[_8j50]

I thought both Ada and rust have good compile time checks for memory safety that eliminates the need for run time checks?