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.

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

Emit errors/warns on some wrong uses of rustdoc attributes #80300

Merged
merged 4 commits into from
May 11, 2021
Merged

Emit errors/warns on some wrong uses of rustdoc attributes #80300

merged 4 commits into from
May 11, 2021

Commits on May 8, 2021

  1. Emit invalid_doc_attributes warnings in more cases

    @LeSeulArtichaut
    LeSeulArtichaut committed May 8, 2021
    Configuration menu
    Copy the full SHA
    245f582 View commit details
    Browse the repository at this point in the history

  2. Error on conflicting #[doc(inline)]/#[doc(no_inline)] attributes

    @LeSeulArtichaut
    LeSeulArtichaut committed May 8, 2021
    Configuration menu
    Copy the full SHA
    f2077c7 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2021

  1. Add documentation

    @LeSeulArtichaut
    LeSeulArtichaut committed May 10, 2021
    Configuration menu
    Copy the full SHA
    6e8d0db View commit details
    Browse the repository at this point in the history

  2. Remove an invalid #[doc(inline)]

    @LeSeulArtichaut
    LeSeulArtichaut committed May 10, 2021
    Configuration menu
    Copy the full SHA
    804ab9f View commit details
    Browse the repository at this point in the history