To my knowledge, Ada doesn't have an equivalent to Rust's borrow checker. I also think I covered that base by specifying "mainstream" 😀