Another test for #2587

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
+}