summaryrefslogtreecommitdiffstats
path: root/src/test/ui/borrowck/borrowck-loan-in-overloaded-op.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/borrowck/borrowck-loan-in-overloaded-op.rs')
-rw-r--r--src/test/ui/borrowck/borrowck-loan-in-overloaded-op.rs23
1 files changed, 23 insertions, 0 deletions
diff --git a/src/test/ui/borrowck/borrowck-loan-in-overloaded-op.rs b/src/test/ui/borrowck/borrowck-loan-in-overloaded-op.rs
new file mode 100644
index 000000000..b8f1650fc
--- /dev/null
+++ b/src/test/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`
+}