Improve exhaustivity/reachability checking for sub-cases#25694

zielinsky wants to merge 5 commits intoscala:mainscala/scala3:mainfrom

zielinsky:i25234zielinsky/scala3:i25234Copy head branch name to clipboard