1 2 3 4 5 6 7 8 9 10 11 12
#![feature(optin_builtin_traits)] trait Trait { type Bar; } struct Foo; impl !Trait for Foo { } //~ ERROR E0192 fn main() { }