Normalize types in `implicitScope` too#20138

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

dotty-staging:norm-implicitScopedotty-staging/dotty:norm-implicitScopeCopy head branch name to clipboard