Future migration warning for `with` type operator#18818

Merged

nicolasstucki merged 1 commit intoscala:mainfrom

dotty-staging:with-type-operator-future

Nov 2, 2023

Commits on Nov 1, 2023

Make `with` type operator a migration warning
nicolasstucki
committed