# Error code E0192

#### Note: this error code is no longer emitted by the compiler.

A negative impl was added on a trait implementation.

Erroneous code example:

ⓘ

    trait Trait {
        type Bar;
    }

    struct Foo;

    impl !Trait for Foo { } //~ ERROR

    fn main() {}

Run

Negative impls are only allowed for auto traits. For more information see the opt-in builtin traits RFC.

Back to list of error codes