From 64d98f8ee037282c35007b64c2649055c56af1db Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:19:03 +0200 Subject: Merging upstream version 1.68.2+dfsg1. Signed-off-by: Daniel Baumann --- src/test/ui/reachable/expr_match.rs | 39 ------------------------------------- 1 file changed, 39 deletions(-) delete mode 100644 src/test/ui/reachable/expr_match.rs (limited to 'src/test/ui/reachable/expr_match.rs') diff --git a/src/test/ui/reachable/expr_match.rs b/src/test/ui/reachable/expr_match.rs deleted file mode 100644 index 2fd26b54e..000000000 --- a/src/test/ui/reachable/expr_match.rs +++ /dev/null @@ -1,39 +0,0 @@ -#![allow(unused_variables)] -#![allow(unused_assignments)] -#![allow(dead_code)] -#![deny(unreachable_code)] - -fn b() { - match () { () => return } - println!("I am dead"); - //~^ ERROR unreachable statement -} - -fn c() { - match () { () if false => return, () => () } - println!("I am not dead"); -} - -fn d() { - match () { () if false => return, () => return } - println!("I am dead"); - //~^ ERROR unreachable statement -} - -fn e() { - // Here the compiler fails to figure out that the `println` is dead. - match () { () if return => (), () => return } - println!("I am dead"); -} - -fn f() { - match Some(()) { None => (), Some(()) => return } - println!("I am not dead"); -} - -fn g() { - match Some(()) { None => return, Some(()) => () } - println!("I am not dead"); -} - -fn main() { } -- cgit v1.2.3