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/issue-20801.stderr | 39 +++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 src/test/ui/borrowck/issue-20801.stderr (limited to 'src/test/ui/borrowck/issue-20801.stderr') diff --git a/src/test/ui/borrowck/issue-20801.stderr b/src/test/ui/borrowck/issue-20801.stderr new file mode 100644 index 000000000..d276231dc --- /dev/null +++ b/src/test/ui/borrowck/issue-20801.stderr @@ -0,0 +1,39 @@ +error[E0507]: cannot move out of a mutable reference + --> $DIR/issue-20801.rs:26:22 + | +LL | let a = unsafe { *mut_ref() }; + | ^^^^^^^^^^ + | | + | move occurs because value has type `T`, which does not implement the `Copy` trait + | help: consider borrowing here: `&*mut_ref()` + +error[E0507]: cannot move out of a shared reference + --> $DIR/issue-20801.rs:29:22 + | +LL | let b = unsafe { *imm_ref() }; + | ^^^^^^^^^^ + | | + | move occurs because value has type `T`, which does not implement the `Copy` trait + | help: consider borrowing here: `&*imm_ref()` + +error[E0507]: cannot move out of a raw pointer + --> $DIR/issue-20801.rs:32:22 + | +LL | let c = unsafe { *mut_ptr() }; + | ^^^^^^^^^^ + | | + | move occurs because value has type `T`, which does not implement the `Copy` trait + | help: consider borrowing here: `&*mut_ptr()` + +error[E0507]: cannot move out of a raw pointer + --> $DIR/issue-20801.rs:35:22 + | +LL | let d = unsafe { *const_ptr() }; + | ^^^^^^^^^^^^ + | | + | move occurs because value has type `T`, which does not implement the `Copy` trait + | help: consider borrowing here: `&*const_ptr()` + +error: aborting due to 4 previous errors + +For more information about this error, try `rustc --explain E0507`. -- cgit v1.2.3