History has shown time and time again that static analysis is an appeal to unrealized perfect humans and not pragmatic realities of developers doing the least possible or hubris
Static analysis is useless unless run , and most developers won’t run it because it’s not the default (so they have to go out of their way to do it) and/or because they believe they are above needing it.
Pretty much every analysis of modern languages with compile time default analysis has shown that ultimately defaults matter.
I was never just comparing language to language. My original comment was this: "9 years later, the Swift tooling is still atrocious. Compile times are much longer, the compiler still crashes, the debugger still doesn't work reliably. It's a major step down from the mature Objective-C tooling."