# Error code E0371

A trait was implemented on another which already automatically implemented it.

Erroneous code examples:

    #![allow(unused)]
    fn main() {
    trait Foo { fn foo(&self) { } }
    trait Bar: Foo { }
    trait Baz: Bar { }

    impl Bar for Baz { } // error, `Baz` implements `Bar` by definition
    impl Foo for Baz { } // error, `Baz` implements `Bar` which implements `Foo`
    impl Baz for Baz { } // error, `Baz` (trivially) implements `Baz`
    impl Baz for Bar { } // Note: This is OK
    }

When `Trait2` is a subtrait of `Trait1` (for example, when `Trait2` has a definition like `trait Trait2: Trait1 { ... }`), it is not allowed to implement `Trait1` for `Trait2`. This is because `Trait2` already implements `Trait1` by definition, so it is not useful to do this.