1 error[E0119]: conflicting implementations of trait `MyTrait` for type `MyFoo`:
2 --> $DIR/never-impl-is-reserved.rs:10:1
4 LL | impl MyTrait for MyFoo {}
5 | ---------------------- first implementation here
6 LL | // This will conflict with the first impl if we impl `for<T> T: From<!>`.
7 LL | impl<T> MyTrait for T where T: From<!> {}
8 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `MyFoo`
10 error: aborting due to previous error
12 For more information about this error, try `rustc --explain E0119`.