---

yaml
---
r: 12227
b: refs/heads/master
c: f682b99
h: refs/heads/master
i:
  12225: f39c0cd
  12223: 09bdeb9
v: v3

Author: nikomatsakis

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 76d0a13ae5a82aaaa1eff409d873cca29bdcb88e
+refs/heads/master: f682b99e36b8963890c3280c784f88274de55267
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf

trunk/src/rustc/middle/typeck.rs

@@ -2414,8 +2414,8 @@ fn check_expr_with_unifier(fcx: @fn_ctxt, expr: @ast::expr, unify: unifier,
     // A generic function for checking assignment expressions
     fn check_assignment(fcx: @fn_ctxt, _sp: span, lhs: @ast::expr,
                         rhs: @ast::expr, id: ast::node_id) -> bool {
-        let t = next_ty_var(fcx);
-        let bot = check_expr_with(fcx, lhs, t) | check_expr_with(fcx, rhs, t);
+        let mut bot = check_expr(fcx, lhs);
+        bot |= check_expr_with(fcx, rhs, expr_ty(fcx.ccx.tcx, lhs));
         write_ty(fcx.ccx.tcx, id, ty::mk_nil(fcx.ccx.tcx));
         ret bot;
     }

trunk/src/test/compile-fail/assign-super.rs

@@ -0,0 +1,5 @@
+fn main() {
+    let mut x: [mut int] = [mut 3];
+    let y: [int] = [3];
+    x = y; //! ERROR values differ in mutability
+}