1 // check that the `for<T> T: From<!>` impl is reserved
3 #![feature(never_type)]
8 impl MyTrait for MyFoo {}
9 // This will conflict with the first impl if we impl `for<T> T: From<!>`.
10 impl<T> MyTrait for T where T: From<!> {} //~ ERROR conflicting implementation