Skip to content

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Mar 12, 2022

Fixes #14637

@odersky
Copy link
Contributor Author

odersky commented Mar 12, 2022

CommunityBuildC.requests timed out. On several PRs so probably nothing to do with this PR.

@som-snytt
Copy link
Contributor

Thanks! This is my gratitude exercise for today.

@odersky odersky merged commit f47bfde into scala:main Mar 14, 2022
@odersky odersky deleted the fix-14637 branch March 14, 2022 08:57
odersky added a commit to dotty-staging/dotty that referenced this pull request Mar 25, 2022
Document different handling of default arguments in overloading
resolution relative to Scala-2.

Fixes scala#14675
@Kordyjan Kordyjan added this to the 3.1.3 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.

-feature -Ycheck:all induces warnings after megaphase following erasure

4 participants