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.