Go's race detector has a mutex blind spot