Skip to content
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.

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

Unnecessary notations in doc comments #13799

Closed
lapla-cogito opened this issue Dec 9, 2024 · 0 comments · Fixed by #13801
Closed

Unnecessary notations in doc comments #13799

lapla-cogito opened this issue Dec 9, 2024 · 0 comments · Fixed by #13801

Comments

@lapla-cogito
Copy link
Contributor

There are some unnecessary notations in clippy_lints like this:

/// // example code where clippy issues a warning

This would come from clippy_dev/src/new_lint.rs:

/// // example code where clippy issues a warning

Since lines like this are treated as document comment, these sentences are included in the Web page:

Image

While most other items exclude this:

Image

So I believe these unnecessary notations should be removed.

github-merge-queue bot pushed a commit that referenced this issue Dec 9, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
fix #13799

changelog: none
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 a pull request may close this issue.

1 participant