Another test for #2587

1 files changed, 21 insertions, 0 deletions

diff --git a/src/test/compile-fail/issue-2587-2.rs b/src/test/compile-fail/issue-2587-2.rs
new file mode 100644
index 00000000000..47d7f2abf5f
--- /dev/null
+++ b/src/test/compile-fail/issue-2587-2.rs
@@ -0,0 +1,21 @@
+fn foo<T: copy>(+_t: T) { fail; }
+
+fn bar<T>(+_t: T) { fail; }
+
+struct S {
+    x: int;
+    drop {}
+}
+
+fn S(x: int) -> S { S { x: x } }
+
+impl S: Add<S, S> {
+    pure fn add(rhs: S) -> S {
+        S { x: self.x + rhs.x }
+    }
+}
+
+fn main() {
+   let v = S(5);
+   let _y = v + (move v); //~ ERROR: copying a noncopyable value
+}