Stop rewriting withFilter to filter#4602

Blaisorblade merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:drop-withFilter-filter-rewritedotty-staging/dotty:drop-withFilter-filter-rewriteCopy head branch name to clipboard