Skip to content

Fix a help message of empty_line_after_doc_comments for cases where the following item is nameless #14584

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Apr 10, 2025
Merged

Fix a help message of empty_line_after_doc_comments for cases where the following item is nameless #14584

merged 1 commit into from
Apr 10, 2025

Conversation

@fmease
Copy link
Member

@fmease fmease commented Apr 10, 2025 •
edited by rustbot
Loading

Fixes #14515.

changelog: [empty_line_after_doc_comments]: Fix a help message for cases where the following item is nameless.

@rustbot
Copy link
Collaborator

rustbot commented Apr 10, 2025

r? @samueltardieu

rustbot has assigned @samueltardieu.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Apr 10, 2025
@samueltardieu
Copy link
Member

Thanks!

@samueltardieu samueltardieu added this pull request to the merge queue Apr 10, 2025
Merged via the queue into rust-lang:master with commit 0286d46 Apr 10, 2025
11 of 13 checks passed
@fmease fmease deleted the fix-msg-empty_line_after_doc_comments branch April 10, 2025 18:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@samueltardieu samueltardieu samueltardieu approved these changes

Assignees

@samueltardieu samueltardieu

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Lint empty_line_after_doc_comments emits a slightly butchered diagnostic note if the following item is of a kind that doesn't have a name

3 participants

@fmease @rustbot @samueltardieu