Skip to content

Make type arguments to default methods InferredTypeTrees - #25852

Merged
bishabosha merged 1 commit into
scala:mainfrom
dotty-staging:fix-25849
Apr 17, 2026
Merged

Make type arguments to default methods InferredTypeTrees#25852
bishabosha merged 1 commit into
scala:mainfrom
dotty-staging:fix-25849

Conversation

@odersky

@odersky odersky commented Apr 17, 2026

Copy link
Copy Markdown
Contributor

Fixes #25849

@odersky
odersky requested a review from bishabosha April 17, 2026 18:42
bishabosha
bishabosha approved these changes Apr 17, 2026
View reviewed changes

@bishabosha bishabosha left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Nice!

@bishabosha
bishabosha merged commit 8d71af7 into scala:main Apr 17, 2026
45 checks passed
@bishabosha
bishabosha deleted the fix-25849 branch April 17, 2026 23:23
@odersky
odersky restored the fix-25849 branch April 18, 2026 18:26
@bishabosha bishabosha added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Apr 20, 2026
@WojciechMazur WojciechMazur added this to the 3.8.4 milestone May 20, 2026
@WojciechMazur WojciechMazur mentioned this pull request May 20, 2026
Merged
@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 May 20, 2026
WojciechMazur added a commit that referenced this pull request May 20, 2026
@WojciechMazur
Backport "Make type arguments to default methods InferredTypeTrees" tâ€Ķ
bddb87c 
â€Ķo 3.8.4 (#26108)

Backports #25852 to the 3.8.4-RC2.

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 May 20, 2026
@tgodzik tgodzik mentioned this pull request Jul 7, 2026
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@bishabosha bishabosha bishabosha approved these changes

Assignees

@bishabosha bishabosha

Labels

backport:done This PR was successfully backported.

Projects

None yet

Milestone

3.8.4

Development

Successfully merging this pull request may close these issues.

CC Crash @retains[?] in munit-style code at same time as compiling sealed ADT

4 participants

@odersky @bishabosha @tgodzik @WojciechMazur