about summary refs log tree commit diff
path: root/src/test/ui/reachable/expr_assign.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/reachable/expr_assign.rs')
-rw-r--r--src/test/ui/reachable/expr_assign.rs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/reachable/expr_assign.rs b/src/test/ui/reachable/expr_assign.rs
deleted file mode 100644
index e547f75e269..00000000000
--- a/src/test/ui/reachable/expr_assign.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-#![feature(never_type)]
-#![allow(unused_variables)]
-#![allow(unused_assignments)]
-#![allow(dead_code)]
-#![deny(unreachable_code)]
-
-fn foo() {
-    // No error here.
-    let x;
-    x = return; //~ ERROR unreachable
-}
-
-fn bar() {
-    use std::ptr;
-    let p: *mut ! = ptr::null_mut::<!>();
-    unsafe {
-        // Here we consider the `return` unreachable because
-        // "evaluating" the `*p` has type `!`. This is somewhat
-        // dubious, I suppose.
-        *p = return; //~ ERROR unreachable
-    }
-}
-
-fn baz() {
-    let mut i = 0;
-    *{return; &mut i} = 22; //~ ERROR unreachable
-}
-
-fn main() { }