| An item was added on a negative impl. | |
| Erroneous code example: | |
| ```compile_fail,E0749 | |
| # #![feature(negative_impls)] | |
| trait MyTrait { | |
| type Foo; | |
| } | |
| impl !MyTrait for u32 { | |
| type Foo = i32; // error! | |
| } | |
| ``` | |
| Negative impls are not allowed to have any items. Negative impls declare that a | |
| trait is **not** implemented (and never will be) and hence there is no need to | |
| specify the values for trait methods or other items. | |
| One way to fix this is to remove the items in negative impls: | |
| ``` | |
| # #![feature(negative_impls)] | |
| trait MyTrait { | |
| type Foo; | |
| } | |
| impl !MyTrait for u32 {} | |
| ``` |