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/borrowck/issue-52713-bug.rs | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 src/test/ui/borrowck/issue-52713-bug.rs (limited to 'src/test/ui/borrowck/issue-52713-bug.rs') diff --git a/src/test/ui/borrowck/issue-52713-bug.rs b/src/test/ui/borrowck/issue-52713-bug.rs deleted file mode 100644 index 671e83dfa..000000000 --- a/src/test/ui/borrowck/issue-52713-bug.rs +++ /dev/null @@ -1,17 +0,0 @@ -// Regression test for a bug in #52713: this was an optimization for -// computing liveness that wound up accidentally causing the program -// below to be accepted. - -fn foo<'a>(x: &'a mut u32) -> u32 { - let mut x = 22; - let y = &x; - if false { - return x; - } - - x += 1; //~ ERROR - println!("{}", y); - return 0; -} - -fn main() { } -- cgit v1.2.3