From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:02:58 +0200 Subject: Adding upstream version 1.64.0+dfsg1. Signed-off-by: Daniel Baumann --- src/test/ui/borrowck/borrowck-partial-reinit-1.rs | 39 +++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 src/test/ui/borrowck/borrowck-partial-reinit-1.rs (limited to 'src/test/ui/borrowck/borrowck-partial-reinit-1.rs') diff --git a/src/test/ui/borrowck/borrowck-partial-reinit-1.rs b/src/test/ui/borrowck/borrowck-partial-reinit-1.rs new file mode 100644 index 000000000..4e6951581 --- /dev/null +++ b/src/test/ui/borrowck/borrowck-partial-reinit-1.rs @@ -0,0 +1,39 @@ +struct Test; + +struct Test2 { + b: Option, +} + +struct Test3(Option); + +impl Drop for Test { + fn drop(&mut self) { + println!("dropping!"); + } +} + +impl Drop for Test2 { + fn drop(&mut self) {} +} + +impl Drop for Test3 { + fn drop(&mut self) {} +} + +fn stuff() { + let mut t = Test2 { b: None }; + let u = Test; + drop(t); + t.b = Some(u); + //~^ ERROR assign of moved value: `t` + + let mut t = Test3(None); + let u = Test; + drop(t); + t.0 = Some(u); + //~^ ERROR assign of moved value: `t` +} + +fn main() { + stuff() +} -- cgit v1.2.3