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/issues/issue-40402-ref-hints/issue-40402-1.rs | 10 ++++++++++ .../ui/issues/issue-40402-ref-hints/issue-40402-1.stderr | 12 ++++++++++++ src/test/ui/issues/issue-40402-ref-hints/issue-40402-2.rs | 6 ++++++ .../ui/issues/issue-40402-ref-hints/issue-40402-2.stderr | 14 ++++++++++++++ 4 files changed, 42 insertions(+) create mode 100644 src/test/ui/issues/issue-40402-ref-hints/issue-40402-1.rs create mode 100644 src/test/ui/issues/issue-40402-ref-hints/issue-40402-1.stderr create mode 100644 src/test/ui/issues/issue-40402-ref-hints/issue-40402-2.rs create mode 100644 src/test/ui/issues/issue-40402-ref-hints/issue-40402-2.stderr (limited to 'src/test/ui/issues/issue-40402-ref-hints') diff --git a/src/test/ui/issues/issue-40402-ref-hints/issue-40402-1.rs b/src/test/ui/issues/issue-40402-ref-hints/issue-40402-1.rs new file mode 100644 index 000000000..254956ae3 --- /dev/null +++ b/src/test/ui/issues/issue-40402-ref-hints/issue-40402-1.rs @@ -0,0 +1,10 @@ +// Check that we do not suggest `ref f` here in the `main()` function. +struct Foo { + pub v: Vec, +} + +fn main() { + let mut f = Foo { v: Vec::new() }; + f.v.push("hello".to_string()); + let e = f.v[0]; //~ ERROR cannot move out of index +} diff --git a/src/test/ui/issues/issue-40402-ref-hints/issue-40402-1.stderr b/src/test/ui/issues/issue-40402-ref-hints/issue-40402-1.stderr new file mode 100644 index 000000000..0a5a6b80e --- /dev/null +++ b/src/test/ui/issues/issue-40402-ref-hints/issue-40402-1.stderr @@ -0,0 +1,12 @@ +error[E0507]: cannot move out of index of `Vec` + --> $DIR/issue-40402-1.rs:9:13 + | +LL | let e = f.v[0]; + | ^^^^^^ + | | + | move occurs because value has type `String`, which does not implement the `Copy` trait + | help: consider borrowing here: `&f.v[0]` + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0507`. diff --git a/src/test/ui/issues/issue-40402-ref-hints/issue-40402-2.rs b/src/test/ui/issues/issue-40402-ref-hints/issue-40402-2.rs new file mode 100644 index 000000000..1fb6e31e9 --- /dev/null +++ b/src/test/ui/issues/issue-40402-ref-hints/issue-40402-2.rs @@ -0,0 +1,6 @@ +// Check that we do suggest `(ref a, ref b)` here, since `a` and `b` +// are nested within a pattern +fn main() { + let x = vec![(String::new(), String::new())]; + let (a, b) = x[0]; //~ ERROR cannot move out of index +} diff --git a/src/test/ui/issues/issue-40402-ref-hints/issue-40402-2.stderr b/src/test/ui/issues/issue-40402-ref-hints/issue-40402-2.stderr new file mode 100644 index 000000000..b6049f967 --- /dev/null +++ b/src/test/ui/issues/issue-40402-ref-hints/issue-40402-2.stderr @@ -0,0 +1,14 @@ +error[E0507]: cannot move out of index of `Vec<(String, String)>` + --> $DIR/issue-40402-2.rs:5:18 + | +LL | let (a, b) = x[0]; + | - - ^^^^ help: consider borrowing here: `&x[0]` + | | | + | | ...and here + | data moved here + | + = note: move occurs because these variables have types that don't implement the `Copy` trait + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0507`. -- cgit v1.2.3