The only thing I disagree with is your comment that you are unsure if a warning should be emitted at all. That seems strange to me. I definitely want to know about redundant matches. What is the argument for no warning?