If there is one thing Ada does better than Rust, is that it encodes the invariants in the type system. While Rust doesn't goes as far as I would have want it's

If there is one thing Ada does better than Rust, is that it encodes the invariants in the type system. While Rust doesn't goes as far as I would have want it's miles better than what Zig and C are doing - the programming equivalent of "Trust me bro!".