Rust hasn't magically solved concurrency safety either, as linearity is not enough. GC'd languages (Java, Go, Haskell etc) are safer than Rust by default, you

Rust hasn't magically solved concurrency safety either, as linearity is not enough. GC'd languages (Java, Go, Haskell etc) are safer than Rust by default, you just have the tradeoff of GC. Note that this isn't always a tradeoff as GCs can outperform static allocation in scenarios like large dynamic heaps. Haskell is the safest for concurrency because of the strictly typed functional semantics.