[Zefiroj]

The rust language is not well-specified, and if you take rust as the language specified by the compiler, then it has many soundness bugs. So even if you stay within "safe rust", you can segfault.

The "memory safety" of rust is oversold since "safety" is not formally proven for the rust language. While anecdotally memory-related bugs seem less likely, rust without unsafe is not absolutely safe.

[_bent]

iirc the formal correctness of Rusts memory model was proven by Ralf Jung https://research.ralfj.de/thesis.html