Deprecation warnings for old syntax: `with` as a type operator#18837

Merged

nicolasstucki merged 1 commit intoscala:mainfrom

dotty-staging:deprecate-all-syntax

Nov 9, 2023

Commits on Nov 8, 2023

Deprecation warning for `with` type operator in 3.4
nicolasstucki
committed