Memory safety != Data race free

Yes, but Rust gets you both.