diff options
Diffstat (limited to 'src/test/ui/reachable/expr_assign.rs')
| -rw-r--r-- | src/test/ui/reachable/expr_assign.rs | 29 |
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() { } |
