---

yaml
---
r: 5580
b: refs/heads/master
c: 8217e4b
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: b8bb663df787511c6b91bf3182b59d140a9c8e02
+refs/heads/master: 8217e4bd3821767131f9fb56c1f42aaf71889c43

trunk/src/test/compile-fail/copy-res-into-box.rs

@@ -0,0 +1,16 @@
+// xfail-test
+// error-pattern:mismatched kinds
+resource r(i: @mutable int) {
+    *i = *i + 1;
+}
+
+fn main() {
+    let i = @mutable 0;
+    {
+        let j <- r(i);
+        // No no no no no
+        let k = @j;
+    }
+    log_err *i;
+    assert *i == 2;
+}

trunk/src/test/compile-fail/copy-res-into-rec.rs

@@ -0,0 +1,16 @@
+// xfail-test
+// error-pattern:mismatched kinds
+resource r(i: @mutable int) {
+    *i = *i + 1;
+}
+
+fn main() {
+    let i = @mutable 0;
+    {
+        let j <- r(i);
+        // No no no no no
+        let k <- {x: j};
+    }
+    log_err *i;
+    assert *i == 2;
+}

trunk/src/test/compile-fail/copy-res-into-tag.rs

@@ -0,0 +1,20 @@
+// xfail-test
+// error-pattern:mismatched kinds
+resource r(i: @mutable int) {
+    *i = *i + 1;
+}
+
+tag t {
+    t0(r);
+}
+
+fn main() {
+    let i = @mutable 0;
+    {
+        let j <- r(i);
+        // No no no no no
+        let k <- t0(j);
+    }
+    log_err *i;
+    assert *i == 2;
+}

trunk/src/test/compile-fail/copy-res-into-tup.rs

@@ -0,0 +1,16 @@
+// xfail-test
+// error-pattern:mismatched kinds
+resource r(i: @mutable int) {
+    *i = *i + 1;
+}
+
+fn main() {
+    let i = @mutable 0;
+    {
+        let j <- r(i);
+        // No no no no no
+        let k <- (j, 0);
+    }
+    log_err *i;
+    assert *i == 2;
+}