Use precise type for x in case x @ (_: A, _: B), take 2#26161

SolalPirelli merged 2 commits into

scala:mainscala/scala3:mainfrom

dotty-staging:solal/widen-problem-altdotty-staging/dotty:solal/widen-problem-altCopy head branch name to clipboard