never patterns: suggest ! patterns on non-exhaustive matches - #121823
Merged
Commits
Commits on Mar 12, 2024
- committed
- committed
- committed
- committed
- committed
! patterns on non-exhaustive matches - #121823