| A negative impl was made default impl. | |
| Erroneous code example: | |
| ```compile_fail,E0750 | |
| # #![feature(negative_impls)] | |
| # #![feature(specialization)] | |
| trait MyTrait { | |
| type Foo; | |
| } | |
| default impl !MyTrait for u32 {} // error! | |
| # fn main() {} | |
| ``` | |
| Negative impls cannot be default impls. A default impl supplies default values | |
| for the items within to be used by other impls, whereas a negative impl declares | |
| that there are no other impls. Combining it does not make sense. |