I would not cite Rust as proper static concurrency analysis, but Pony. Pony is the only fast language (in use) with safe and proper static concurrency analysis and support for shared memory.

And there exist many other concurrency-safe slower languages with message-passing only, which don't have the Go problems. Go has at least the tools to detect deadlocks at run-time in testing, but these tools do not replace proper static type-checks for concurrency bugs.