Skip to content

Conversation

@odersky
Copy link
Contributor

@odersky odersky commented Jun 28, 2025

It warned before, but did not error. However, the idea is that under -source future we should enforce the new rules that we have defined everywhere.

It warned before, but did not error. However, the idea is that under -source future we
should enforce the new rules that we have defined everywhere.
@odersky
Copy link
Contributor Author

odersky commented Jul 1, 2025

Subsumed by #23443

@odersky odersky closed this Jul 1, 2025
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.

1 participant