What are some examples of linters / static analysis catching hallucinated solutions to problems?

I feel like it would just yield a well-formatted, type safe incorrect solution, which is no better than a tangled mess.