More aggressive reduction of type selection (fixes parboiled2)#14987

odersky merged 2 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:aggressive-reductiondotty-staging/dotty:aggressive-reductionCopy head branch name to clipboard