diff options
Diffstat (limited to 'src/test/ui/never_type/never-from-impl-is-reserved.rs')
| -rw-r--r-- | src/test/ui/never_type/never-from-impl-is-reserved.rs | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/test/ui/never_type/never-from-impl-is-reserved.rs b/src/test/ui/never_type/never-from-impl-is-reserved.rs deleted file mode 100644 index 9d16015bd..000000000 --- a/src/test/ui/never_type/never-from-impl-is-reserved.rs +++ /dev/null @@ -1,12 +0,0 @@ -// check that the `for<T> T: From<!>` impl is reserved - -#![feature(never_type)] - -pub struct MyFoo; -pub trait MyTrait {} - -impl MyTrait for MyFoo {} -// This will conflict with the first impl if we impl `for<T> T: From<!>`. -impl<T> MyTrait for T where T: From<!> {} //~ ERROR conflicting implementation - -fn main() {} |