1 There are both a positive and negative trait implementation for the same type.
3 Erroneous code example:
7 impl MyTrait for i32 { }
8 impl !MyTrait for i32 { } // error!
11 Negative implementations are a promise that the trait will never be implemented
12 for the given types. Therefore, both cannot exists at the same time.