about summary refs log tree commit diff
path: root/src/test/ui/uninhabited/uninhabited-patterns.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/uninhabited/uninhabited-patterns.rs')
-rw-r--r--src/test/ui/uninhabited/uninhabited-patterns.rs47
1 files changed, 0 insertions, 47 deletions
diff --git a/src/test/ui/uninhabited/uninhabited-patterns.rs b/src/test/ui/uninhabited/uninhabited-patterns.rs
deleted file mode 100644
index f1573b6adf0..00000000000
--- a/src/test/ui/uninhabited/uninhabited-patterns.rs
+++ /dev/null
@@ -1,47 +0,0 @@
-#![feature(box_patterns)]
-#![feature(never_type)]
-#![feature(exhaustive_patterns)]
-
-
-#![deny(unreachable_patterns)]
-
-mod foo {
-    pub struct SecretlyEmpty {
-        _priv: !,
-    }
-}
-
-struct NotSoSecretlyEmpty {
-    _priv: !,
-}
-
-fn foo() -> Option<NotSoSecretlyEmpty> {
-    None
-}
-
-fn main() {
-    let x: &[!] = &[];
-
-    match x {
-        &[]   => (),
-        &[..] => (),    //~ ERROR unreachable pattern
-    };
-
-    let x: Result<Box<NotSoSecretlyEmpty>, &[Result<!, !>]> = Err(&[]);
-    match x {
-        Ok(box _) => (),    //~ ERROR unreachable pattern
-        Err(&[]) => (),
-        Err(&[..]) => (),   //~ ERROR unreachable pattern
-    }
-
-    let x: Result<foo::SecretlyEmpty, Result<NotSoSecretlyEmpty, u32>> = Err(Err(123));
-    match x {
-        Ok(_y) => (),
-        Err(Err(_y)) => (),
-        Err(Ok(_y)) => (),  //~ ERROR unreachable pattern
-    }
-
-    while let Some(_y) = foo() {
-        //~^ ERROR unreachable pattern
-    }
-}