I’m glad that Rust users are willing to accept that other approaches to safety like Ada are also interesting or effective.

In the past I had the impression that some thought that Rust was the first programming language to ever have the concept.

Now we just need the Zig ones acknowledging Object Pascal, Modula-2, Ada,.... as well :)