"How is Rust or whatever solving this? It doesn't."

Actually, yes, it does. The borrow checker composes. Two correct Rust components for race conditions and memory safety will indeed compose together correctly. That's a great deal of the point of the whole thing, after all.

I don't think you've been keeping up with the state of the art in the last few years. Maybe less yelling and more listening is called for here.