Yeah I would say it's pretty good at catching most mistakes the majority of the time, it's just the few times when it does make a mistake that I'm not sure is a mistake or not, it'll argue in a way that seems plausible and forces me to rethink and verify the code that was already correct. I probably still save time with it, but it can be incredibly annoying and time consuming when it fails.