> Rust is still the only competitor in the space of zero-overhead memory-safe languages.

the only mainstream competitor, perhaps; ATS does a good job of it too [http://www.ats-lang.org/]