---

yaml
---
r: 16006
b: refs/heads/try
c: 8678baa
h: refs/heads/master
v: v3

Author: eholk

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: 9f1a197c2a5c16f9703a35331eb53a8c070f66cf
+refs/heads/try: 8678baab12dcdac3286d882b2ab83b50ab451248
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/rustc/middle/ty.rs

@@ -427,9 +427,9 @@ fn param_bounds_to_kind(bounds: param_bounds) -> kind {
     for vec::each(*bounds) {|bound|
         alt bound {
           bound_copy {
-            kind = lower_kind(kind, kind_copyable());
+            kind = raise_kind(kind, kind_copyable());
           }
-          bound_send { kind = lower_kind(kind, kind_send_only()); }
+          bound_send { kind = raise_kind(kind, kind_send_only()); }
           _ {}
         }
     }
@@ -1284,6 +1284,10 @@ fn kind_send_only() -> kind {
     kind_(KIND_MASK_SEND)
 }
 
+fn kind_top() -> kind {
+    kind_(0xffffffffu32)
+}
+
 // Using these query functons is preferable to direct comparison or matching
 // against the kind constants, as we may modify the kind hierarchy in the
 // future.
@@ -1310,6 +1314,10 @@ fn kind_lteq(a: kind, b: kind) -> bool {
 }
 
 fn lower_kind(a: kind, b: kind) -> kind {
+    kind_(*a & *b)
+}
+
+fn raise_kind(a: kind, b: kind) -> kind {
     kind_(*a | *b)
 }
 

branches/try/src/test/compile-fail/pinned-deep-copy.rs

@@ -0,0 +1,16 @@
+// error-pattern: copying a noncopyable value
+
+resource r(i: @mut int) {
+    *i = *i + 1;
+}
+
+fn main() {
+    let i = @mut 0;
+    {
+        // Can't do this copy
+        let x = ~~~{y: r(i)};
+        let z = x;
+        log(debug, x);
+    }
+    log(error, *i);
+}