Closed
Description
Like we warn on unused arguments, we should also warn about unused pattern bindings.
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests
Like we warn on unused arguments, we should also warn about unused pattern bindings.