---

yaml
---
r: 5603
b: refs/heads/master
c: e1ba559
h: refs/heads/master
i:
  5601: b504b32
  5599: 5003891
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: cb4e99b68809a17db5624aabbdf9189225333d85
+refs/heads/master: e1ba559c03624990e06b98d4329d5daee089acca

trunk/src/test/compile-fail/implicit-copy-1.rs

@@ -0,0 +1,21 @@
+// error-pattern: cannot copy pinned type r
+
+resource r(i: @mutable int) {
+    *i = *i + 1;
+}
+
+fn movearg(i: r) {
+    // Implicit copy to mutate reference i
+    let j <- i;
+}
+
+fn main() {
+    let i = @mutable 0;
+    {
+        let j <- r(i);
+        movearg(j);
+    }
+    log_err *i;
+    // nooooooo. destructor ran twice
+    assert *i == 2;
+}

trunk/src/test/compile-fail/implicit-copy-2.rs

@@ -0,0 +1,21 @@
+// error-pattern: cannot copy pinned type 'a
+
+resource r(i: @mutable int) {
+    *i = *i + 1;
+}
+
+fn movearg<T>(i: T) {
+    // Implicit copy to mutate reference i
+    let j <- i;
+}
+
+fn main() {
+    let i = @mutable 0;
+    {
+        let j <- r(i);
+        movearg(j);
+    }
+    log_err *i;
+    // nooooooo. destructor ran twice
+    assert *i == 2;
+}