While the potential is really exciting, there isn't much of a story here. I'm sure someone will eventually write a blog post showcasing whole classes of errors

While the potential is really exciting, there isn't much of a story here. I'm sure someone will eventually write a blog post showcasing whole classes of errors detected by the new checker -- I'll upvote that.