Skip to content

Add @uncheckedOverride annotation for definitions that may override#24545

Merged
WojciechMazur merged 1 commit intoscala:mainfrom
lrytz:uncheckedOverride
Dec 23, 2025
Merged

Add @uncheckedOverride annotation for definitions that may override#24545
WojciechMazur merged 1 commit intoscala:mainfrom
lrytz:uncheckedOverride

Conversation

@lrytz
Copy link
Copy Markdown
Member

@lrytz lrytz commented Nov 25, 2025

Forward-port of Scala 2 PR 11175.

@lrytz lrytz requested a review from a team as a code owner November 25, 2025 15:59
@He-Pin
Copy link
Copy Markdown
Contributor

He-Pin commented Nov 25, 2025

Seems this need to be included in 3.8,otherwise it will not be included in 3.9

@lrytz lrytz force-pushed the uncheckedOverride branch from 78eafc3 to db11cd9 Compare November 25, 2025 20:29
@bishabosha bishabosha added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Nov 26, 2025
@Gedochao Gedochao added this to the 3.8.0 milestone Nov 26, 2025
@He-Pin
Copy link
Copy Markdown
Contributor

He-Pin commented Nov 27, 2025

We need this in Scala 3.3.x too

@Gedochao
Copy link
Copy Markdown
Contributor

We need this in Scala 3.3.x too

It will be evaluated for a backport in 3.3.8.
cc @tgodzik

@WojciechMazur
Copy link
Copy Markdown
Contributor

Stdlib on main now is synchronized with 2.13.18 - it should unblock this PR

@WojciechMazur WojciechMazur enabled auto-merge (squash) December 23, 2025 12:51
@WojciechMazur WojciechMazur merged commit 88c2127 into scala:main Dec 23, 2025
56 checks passed
@WojciechMazur WojciechMazur added backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" and removed backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. labels Dec 30, 2025
WojciechMazur added a commit that referenced this pull request Dec 31, 2025
…y override" to 3.8.0 (#24863)

Backports #24545 to the 3.8.0-RC5.

PR submitted by the release tooling.
[skip ci]
@WojciechMazur WojciechMazur added backport:done This PR was successfully backported. and removed backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" labels Dec 31, 2025
tgodzik pushed a commit to scala/scala3-lts that referenced this pull request Jan 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport:done This PR was successfully backported.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants