Skip to content

Docs: unnecessary_map_or wrong "Added in" version #13730

Closed
#13733
Closed
Docs: unnecessary_map_or wrong "Added in" version#13730
#13733
@ctz

Description

@ctz
ctz
opened on Nov 25, 2024

https://rust-lang.github.io/rust-clippy/master/index.html#unnecessary_map_or says this new lint was introduced in 1.75. However, AFAICT this lint was only introduced two weeks ago via #11796

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions