src/test/ui/error-codes/E0192.rs

#![feature(optin_builtin_traits)]

trait Trait {
    type Bar;
}

struct Foo;

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

fn main() {
}