1 files changed, 23 insertions, 0 deletions
diff --git a/tests/ui/borrowck/borrowck-loan-in-overloaded-op.rs b/tests/ui/borrowck/borrowck-loan-in-overloaded-op.rs
new file mode 100644
index 000000000..b8f1650fc
--- /dev/null
+++ b/tests/ui/borrowck/borrowck-loan-in-overloaded-op.rs
@@ -0,0 +1,23 @@
+#![feature(box_patterns)]
+
+
+use std::ops::Add;
+
+#[derive(Clone)]
+struct Foo(Box<usize>);
+
+impl Add for Foo {
+    type Output = Foo;
+
+    fn add(self, f: Foo) -> Foo {
+        let Foo(box i) = self;
+        let Foo(box j) = f;
+        Foo(Box::new(i + j))
+    }
+}
+
+fn main() {
+    let x = Foo(Box::new(3));
+    let _y = {x} + x.clone(); // the `{x}` forces a move to occur
+    //~^ ERROR borrow of moved value: `x`
+}