lint for redundant trait bounds (due to trait inheritance)

[thestinger]

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

trait Foo {}
trait Bar: Foo {}

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

[sfackler]

We don't currently warn for even more obvious redundant bounds as well:

trait Foo {}

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

[Aatch]

Visiting for triage.

Still doesn't warn.

[pongad]

Interested in trying, will find @thestinger on IRC.

[pongad]

Actually...who's mentoring this?
I'm still at a loss of what to do. xD

[reem]

Triage: This errors now!

Should be closed.

[tamird]

@reem the trivial case errors, but the original case reported here still doesn't