A negative impl was added on a trait implementation.

Erroneous code example:

trait Trait {
    type Bar;
}

struct Foo;

impl !Trait for Foo { } //~ ERROR E0192

fn main() {}

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