It's not a "magic pill", it's another tool. We're not saying that it will magically fix everything, it will just make certain types of errors less probable.
If you want bug-free code, will you (A) use a tool that makes it easier, or (B) use the same tool as before?
"Skill issue" is not an answer.