Skip to content

Lint for integral divisions that are widened to a float [forward port from 2.12]#10369

Merged
lrytz merged 2 commits intoscala:2.13.xfrom
som-snytt:forward/int-div
Apr 11, 2023
Merged

Lint for integral divisions that are widened to a float [forward port from 2.12]#10369
lrytz merged 2 commits intoscala:2.13.xfrom
som-snytt:forward/int-div

Conversation

@som-snytt
Copy link
Copy Markdown
Contributor

See #10313

@scala-jenkins scala-jenkins added this to the 2.13.12 milestone Apr 8, 2023
@SethTisue SethTisue modified the milestones: 2.13.12, 2.13.11 Apr 8, 2023
@SethTisue SethTisue added the prio:hi high priority (used only by core team, only near release time) label Apr 8, 2023
@som-snytt som-snytt marked this pull request as ready for review April 8, 2023 19:18
@SethTisue SethTisue requested a review from lrytz April 8, 2023 22:10
@SethTisue SethTisue changed the title Forward port widened int div warning Lint for integral divisions that are widened to a float [forward port from 2.12] Apr 8, 2023
Copy link
Copy Markdown
Member

@lrytz lrytz left a comment

Choose a reason for hiding this comment

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

Thank you!

@lrytz lrytz merged commit 146d763 into scala:2.13.x Apr 11, 2023
@SethTisue SethTisue added release-notes worth highlighting in next release notes and removed prio:hi high priority (used only by core team, only near release time) labels Apr 11, 2023
@som-snytt som-snytt deleted the forward/int-div branch April 11, 2023 15:58
hamzaremmal pushed a commit to hamzaremmal/scala3 that referenced this pull request May 2, 2025
Lint for integral divisions that are widened to a float [forward port from 2.12]
hamzaremmal pushed a commit to scala/scala3 that referenced this pull request May 7, 2025
Lint for integral divisions that are widened to a float [forward port from 2.12]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release-notes worth highlighting in next release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants