Fix type lambda reductions involving refinements#6272

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-reductionsdotty-staging/dotty:fix-reductionsCopy head branch name to clipboard