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

SolalPirelli wants to merge 4 commits into

scala:mainscala/scala3:mainfrom

dotty-staging:solal/widen-problemdotty-staging/dotty:solal/widen-problemCopy head branch name to clipboard