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/move-in-pattern-mut.stderr | 33 +++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 src/test/ui/borrowck/move-in-pattern-mut.stderr (limited to 'src/test/ui/borrowck/move-in-pattern-mut.stderr') diff --git a/src/test/ui/borrowck/move-in-pattern-mut.stderr b/src/test/ui/borrowck/move-in-pattern-mut.stderr new file mode 100644 index 000000000..2bf34b321 --- /dev/null +++ b/src/test/ui/borrowck/move-in-pattern-mut.stderr @@ -0,0 +1,33 @@ +error[E0382]: use of partially moved value: `s` + --> $DIR/move-in-pattern-mut.rs:18:9 + | +LL | if let Some(mut x) = s { + | ----- value partially moved here +... +LL | foo(s); + | ^ value used here after partial move + | + = note: partial move occurs because value has type `S`, which does not implement the `Copy` trait +help: borrow this field in the pattern to avoid moving `s.0` + | +LL | if let Some(ref mut x) = s { + | +++ + +error[E0382]: use of partially moved value: `e` + --> $DIR/move-in-pattern-mut.rs:22:9 + | +LL | let E::V { s: mut x } = e; + | ----- value partially moved here +LL | x = S; +LL | bar(e); + | ^ value used here after partial move + | + = note: partial move occurs because value has type `S`, which does not implement the `Copy` trait +help: borrow this field in the pattern to avoid moving `e.s` + | +LL | let E::V { s: ref mut x } = e; + | +++ + +error: aborting due to 2 previous errors + +For more information about this error, try `rustc --explain E0382`. -- cgit v1.2.3