That absolutely makes sense, and I like when warnings like this get added. Any time someone can be warned whenever they are trying to use something useless is another tool that will potentially help someone who's trying to debug something they don't understand: "I'm using a quantifier, but why the heck isn't it working!".