1 files changed, 29 insertions, 0 deletions
diff --git a/tests/ui/reachable/expr_assign.rs b/tests/ui/reachable/expr_assign.rs
new file mode 100644
index 00000000000..e547f75e269
--- /dev/null
+++ b/tests/ui/reachable/expr_assign.rs
@@ -0,0 +1,29 @@
+#![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() { }