Skip to content

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Jun 13, 2022

These were disabled before. This is a fairly rough implementation, which does not
allow message customization. But it does the basic job.

We can improve it later.

odersky added 2 commits June 13, 2022 19:24
These were disabled before. This is a fairly rough implementation, which does not
allow message customization. But it does the basic job.

We can improve it later.
Copy link
Contributor

@som-snytt som-snytt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TIL neg-strict. The other deprecations are also absent; I will follow up as an exercise. I'm not a fan of fussy deprecations per se, but it might bum someone out to find them missing.

@odersky odersky merged commit 9b648dc into scala:main Jun 15, 2022
@odersky odersky deleted the add-deprecated-overriding branch June 15, 2022 07:22
@Kordyjan Kordyjan added this to the 3.2.0 milestone Aug 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants