1 A negative impl was made default impl.
3 Erroneous code example:
6 # #![feature(negative_impls)]
7 # #![feature(specialization)]
12 default impl !MyTrait for u32 {} // error!
16 Negative impls cannot be default impls. A default impl supplies default values
17 for the items within to be used by other impls, whereas a negative impl declares
18 that there are no other impls. Combining it does not make sense.