Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Create message for missing arguments #16158

Merged
merged 3 commits into from
Oct 10, 2022
Merged

Create message for missing arguments #16158

merged 3 commits into from
Oct 10, 2022

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Oct 9, 2022

Fixes #16130

@odersky odersky requested a review from ckipp01 October 10, 2022 09:11
ckipp01
ckipp01 approved these changes Oct 10, 2022
View reviewed changes
Copy link
Member

@ckipp01 ckipp01 left a comment

Choose a reason for hiding this comment

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

👍🏼 LGTM

@ckipp01 ckipp01 merged commit 93a93ab into scala:main Oct 10, 2022
@Kordyjan Kordyjan added this to the 3.2.2 milestone Aug 1, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@ckipp01 ckipp01 ckipp01 approved these changes

Assignees

@ckipp01 ckipp01

Labels
None yet
Projects
None yet
Milestone
3.2.2
Development

Successfully merging this pull request may close these issues.

ErrorID no longer being reported for 54
3 participants
@odersky @ckipp01 @Kordyjan