While that is the only guarantee it can provide - in practice it ends up being a lot more powerful. Eg most multithreading issues in Java occur due to totally m

While that is the only guarantee it can provide - in practice it ends up being a lot more powerful. Eg most multithreading issues in Java occur due to totally missing synchronization - because developers either didn’t think about threads or didn’t have enough experience to apply correct synchronization. In Rust the compiler would already have complained about these cases, and eg the design of the Mutex type - which wraps data instead of standing next to it - makes it hard to abuse.