---

yaml
---
r: 15233
b: refs/heads/try
c: f682b99
h: refs/heads/master
i:
  15231: 8e3ca68
v: v3

Author: nikomatsakis

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: 76d0a13ae5a82aaaa1eff409d873cca29bdcb88e
+refs/heads/try: f682b99e36b8963890c3280c784f88274de55267
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/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;
     }

branches/try/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
+}