1 error[E0751]: found both positive and negative implementation of trait `MyTrait` for type `u32`:
2 --> $DIR/positive-specializes-negative.rs:7:1
4 LL | impl<T> !MyTrait for T {}
5 | ---------------------- negative implementation here
6 LL | impl MyTrait for u32 {}
7 | ^^^^^^^^^^^^^^^^^^^^ positive implementation here
9 error: aborting due to previous error
11 For more information about this error, try `rustc --explain E0751`.