---

yaml
---
r: 5555
b: refs/heads/master
c: 7550017
h: refs/heads/master
i:
  5553: 73b9103
  5551: a2a0aaa
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 99cbea51a1df1ef78535654b0d8e674bce25753d
+refs/heads/master: 755001725aee4c220258402f246714057be0648a

trunk/src/comp/middle/kind.rs

@@ -170,7 +170,10 @@ fn check_expr(tcx: ty::ctxt, e: @ast::expr) {
         need_shared_lhs_rhs(tcx, a, b, "=");
         check_copy(tcx, b);
       }
-      ast::expr_assign_op(_, a, b) { need_shared_lhs_rhs(tcx, a, b, "op="); }
+      ast::expr_assign_op(_, a, b) {
+        need_shared_lhs_rhs(tcx, a, b, "op=");
+        check_copy(tcx, b);
+      }
       ast::expr_swap(a, b) { need_shared_lhs_rhs(tcx, a, b, "<->"); }
       ast::expr_copy(a) {
         need_expr_kind(tcx, a, ast::kind_shared, "'copy' operand");

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

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