1 files changed, 28 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-34721.stderr b/src/test/ui/issues/issue-34721.stderr
new file mode 100644
index 000000000..045819061
--- /dev/null
+++ b/src/test/ui/issues/issue-34721.stderr
@@ -0,0 +1,28 @@
+error[E0382]: use of moved value: `x`
+  --> $DIR/issue-34721.rs:27:9
+   |
+LL |     pub fn baz<T: Foo>(x: T) -> T {
+   |                        - move occurs because `x` has type `T`, which does not implement the `Copy` trait
+LL |         if 0 == 1 {
+LL |             bar::bar(x.zero())
+   |                        ------ `x` moved due to this method call
+LL |         } else {
+LL |             x.zero()
+   |               ------ `x` moved due to this method call
+LL |         };
+LL |         x.zero()
+   |         ^ value used here after move
+   |
+note: this function takes ownership of the receiver `self`, which moves `x`
+  --> $DIR/issue-34721.rs:4:13
+   |
+LL |     fn zero(self) -> Self;
+   |             ^^^^
+help: consider further restricting this bound
+   |
+LL |     pub fn baz<T: Foo + Copy>(x: T) -> T {
+   |                       ++++++
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0382`.