Add actionable item to PatternMatchExhaustivity diagnostic#18314
Merged
dwijnand merged 8 commits intoscala:mainfrom Aug 9, 2023
Merged
Add actionable item to PatternMatchExhaustivity diagnostic#18314dwijnand merged 8 commits intoscala:mainfrom
dwijnand merged 8 commits intoscala:mainfrom