The most important distinction in a language is

whether it has GC or not.

rust memeory safety

yet..... there is no formal model of the type system and no proof of preservation and progress.

so "memorysaftery" it's entirely conjecture