Comment by Throw839

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