Skip to content

"Clippy Lints" page forgets "Lint groups" selection #8510

Closed
@smoelius

Description

@smoelius

Description

If you search for a Clippy lint by selecting one or more "Lint groups," click "View Source," and then click the back button, the lint groups will still be selected, but the selection will not be respected.

What I did:

  1. Go to the Clippy Lints page.
  2. Unselect all "Lint groups" but "Restriction."
  3. Expand "indexing_slicing."
  4. Click "View Source."
  5. Click the browser back button.

What I saw: more than just "Restriction" lints.

What I expected to see: just "Restriction" lints.

In fact, after clicking the back button, if you select and unselect a lint group, you can see those lints disappearing from the listing.

Clicking "Related Issues" seems to exhibit the same behavior.

Version

No response

Additional Labels

No response

Metadata

Metadata

Assignees

Labels

A-websiteArea: Improving the clippy websiteC-enhancementCategory: Enhancement of lints, like adding more cases or adding help messagesgood first issueThese issues are a good way to get started with Clippy

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions