I guess to also elaborate the point; it's also entirely correct to say "Rust is guaranteed to be memory safe unless 'unsafe' is involved".

Yeah and Rust is guaranteed to be thread safe unless 'unsafe' is involved, I think