Improve `with` in type migration warning#18852

nicolasstucki merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:improve-with-migration-warningdotty-staging/dotty:improve-with-migration-warningCopy head branch name to clipboard