## Keyboard shortcuts

Press `←` or `→` to navigate between chapters

Press `S` or `/` to search in the book

Press `?` to show this help

Press `Esc` to hide this help

# 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() {}

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