Future migration warning for `with` type operator#18818

nicolasstucki merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:with-type-operator-futuredotty-staging/dotty:with-type-operator-futureCopy head branch name to clipboard