Refine "allow basetype" criterion for match type reduction#15337

odersky wants to merge 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-15319dotty-staging/dotty:fix-15319Copy head branch name to clipboard