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() {}
RunNegative impls are only allowed for auto traits. For more information see the opt-in builtin traits RFC.