Which popular GC languages have mutexes owning the state they guard, such that it is structurally impossible to access that inner state without holding the lock

Which popular GC languages have mutexes owning the state they guard, such that it is structurally impossible to access that inner state without holding the lock? To do that you must have single ownership. Rust achieves correctness at scale, over time, more than most GC languages.