The most important distinction in a language is

whether it has GC or not.

This whole "rust memory safety hasn't been proven" thing is one of the worst forced memes I've ever seen. Almost as bad a horses.