Don't allow vectors of pinned kinds to be copied

src/comp/middle/kind.rs

@@ -150,6 +150,10 @@ fn check_copy(tcx: ty::ctxt, e: @ast::expr) {
         demand_kind(tcx, e.span, mt.ty, ast::kind_shared,
                     "unique box interior");
       }
+      ty::ty_vec(mt) {
+        demand_kind(tcx, e.span, mt.ty, ast::kind_shared,
+                    "vector interior");
+      }
       _ { }
     }
 }

src/test/compile-fail/vec-pinned-nocopy.rs

@@ -0,0 +1,10 @@
+// error-pattern: mismatched kind
+
+resource r(b: bool) {
+}
+
+fn main() {
+    let i = [r(true)];
+    let j;
+    j = i;
+}