---

yaml
---
r: 8078
b: refs/heads/snap-stage3
c: 7f12358
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -1,6 +1,6 @@
 ---
 refs/heads/master: 2898dcc5d97da9427ac367542382b6239d9c0bbf
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 77b06d24cd76bf808138f1f7df4dcff40260ff38
+refs/heads/snap-stage3: 7f12358656ed3e3d657191bc19d08a4d6a0ef674
 refs/heads/try: 2898dcc5d97da9427ac367542382b6239d9c0bbf
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/snap-stage3/src/comp/middle/mut.rs

@@ -243,11 +243,12 @@ fn check_bind(cx: @ctx, f: @expr, args: [option<@expr>]) {
     for arg in args {
         alt arg {
           some(expr) {
-            alt (alt arg_ts[i].mode {
+            let o_msg = alt ty::resolved_mode(cx.tcx, arg_ts[i].mode) {
               by_mut_ref { some("by mutable reference") }
               by_move { some("by move") }
               _ { none }
-            }) {
+            };
+            alt o_msg {
               some(name) {
                 cx.tcx.sess.span_err(
                     expr.span, "can not bind an argument passed " + name);

branches/snap-stage3/src/comp/middle/trans/base.rs

@@ -4422,8 +4422,7 @@ fn copy_args_to_allocas(fcx: @fn_ctxt, bcx: @block_ctxt, args: [ast::arg],
     let epic_fail = fn@() -> ! {
         tcx.sess.bug("Someone forgot\
                 to document an invariant in copy_args_to_allocas!");
-    }
-    let epic_fail = bind epic_fail_(bcx);
+    };
     for arg in arg_tys {
         let id = args[arg_n].id;
         let argval = alt fcx.llargs.get(id) { local_mem(v) { v }

branches/snap-stage3/src/comp/middle/typeck.rs

@@ -2045,11 +2045,7 @@ fn check_expr_with_unifier(fcx: @fn_ctxt, expr: @ast::expr, unify: unifier,
         // Take the prototype from the expected type, but default to block:
         let proto = alt ty::struct(tcx, expected) {
           ty::ty_fn({proto, _}) { proto }
-          _ {
-            tcx.sess.span_warn(expr.span, "unable to infer kind of closure, \
-                                           defaulting to block");
-            ast::proto_block
-          }
+          _ { ast::proto_box }
         };
         #debug("checking expr_fn_block %s expected=%s",
                expr_to_str(expr),