-- Useless pattern matching
case value of
Foo -> 1
Bar -> 1
_ -> 1
-- Useless pattern `Bar`, it's the same as the default pattern
case value of
Foo -> 2
Bar -> 1
_ -> 1case value of
Foo -> 1
Bar -> 2
_ -> 3
case value of
Foo n -> n
Bar n -> n
Reports case expressions that can be simplified. Either when all patterns will lead to the same value, or when a pattern will lead to the same value as the default pattern.