---

yaml
---
r: 4323
b: refs/heads/master
c: 2d5b651
h: refs/heads/master
i:
  4321: b70018c
  4319: 6ad4ffe
v: v3

Author: marijnh

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 78a0d380cc276116bd995bebbee10b0144d89432
+refs/heads/master: 2d5b651f4981b85d0e3864d8df6bd0953578e1f4

trunk/src/comp/middle/typeck.rs

@@ -1605,8 +1605,11 @@ fn check_expr(fcx: &@fn_ctxt, expr: &@ast::expr) -> bool {
     // A generic function for checking for or for-each loops
 
     fn check_for_or_for_each(fcx: &@fn_ctxt, local: &@ast::local,
-                                 element_ty: &ty::t, body: &ast::blk,
-                                 node_id: ast::node_id) -> bool {
+                             element_ty: ty::t, body: &ast::blk,
+                             node_id: ast::node_id) -> bool {
+        let locid = lookup_local(fcx, local.span, local.node.id);
+        element_ty = demand::simple(fcx, local.span, element_ty,
+                                    ty::mk_var(fcx.ccx.tcx, locid));
         let bot = check_decl_local(fcx, local);
         check_block(fcx, body);
         // Unify type of decl with element type of the seq