I don't think this is a fact for _all_ GC'd languages. For example, Nim is a GC'd language and it's also multi-threading safe. It perhaps doesn't give as much f

I don't think this is a fact for _all_ GC'd languages. For example, Nim is a GC'd language and it's also multi-threading safe. It perhaps doesn't give as much freedom as Rust, but it does still achieve safety. The compiler restricts sharing of memory because each thread gets its own GC, and for locks the compiler verifies that variables are locked [1]. 1 - https://nim-lang.org/docs/manual_experimental.html#guards-and-locks-guards-and-the-locks-section https://nim-lang.org/docs/manual_experimental.html#guards-an...