Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Merged
merged 1 commit into from
Nov 9, 2023

Conversation

nicolasstucki
Copy link
Contributor

@nicolasstucki nicolasstucki commented Nov 3, 2023

This is the first part of #18868

@nicolasstucki nicolasstucki self-assigned this Nov 3, 2023
@nicolasstucki nicolasstucki force-pushed the deprecate-all-syntax branch 3 times, most recently from 865628d to 1e95806 Compare November 6, 2023 10:01
@SethTisue SethTisue changed the title Deprecate old syntax Deprecate old syntax (with as a type operator) Nov 6, 2023
@nicolasstucki nicolasstucki force-pushed the deprecate-all-syntax branch 3 times, most recently from 81a69d0 to 61875a6 Compare November 7, 2023 07:25
@nicolasstucki nicolasstucki changed the title Deprecate old syntax (with as a type operator) Deprecation warnings for old syntax (with as a type operator) Nov 7, 2023
@nicolasstucki nicolasstucki linked an issue Nov 7, 2023 that may be closed by this pull request
@nicolasstucki nicolasstucki added this to the 3.4.0 milestone Nov 7, 2023
@nicolasstucki nicolasstucki changed the title Deprecation warnings for old syntax (with as a type operator) Deprecation warnings for old syntax: with as a type operator Nov 7, 2023
@nicolasstucki nicolasstucki marked this pull request as ready for review November 7, 2023 10:21
@nicolasstucki nicolasstucki added the release-notes Should be mentioned in the release notes label Nov 8, 2023
@nicolasstucki nicolasstucki merged commit a90db4f into scala:main Nov 9, 2023
18 checks passed
@nicolasstucki nicolasstucki deleted the deprecate-all-syntax branch November 9, 2023 09:50
@xuwei-k xuwei-k mentioned this pull request Jan 1, 2024
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release-notes Should be mentioned in the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants