Skip to content

lint for redundant trait bounds (due to trait inheritance) #9197

Closed
Closed
lint for redundant trait bounds (due to trait inheritance)#9197
Labels
A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.

Description

@thestinger
thestinger
opened on Sep 14, 2013

We should give a warning that the Foo bound is redundant:

trait Foo {}
trait Bar: Foo {}

fn foo<T: Foo + Bar>() {}

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.E-mentorCall for participation: This issue has a mentor. Use #t-compiler/help on Zulip for discussion.E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.

    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