Added a few more expr_spawn cases so the spawn.rs test case gets a little further before failing.

Author: Eric Holk

src/comp/middle/ty.rs

@@ -1743,6 +1743,7 @@ fn expr_ann(&@ast::expr e) -> ast::ann {
         case (ast::expr_break(?a)) { ret a; }
         case (ast::expr_cont(?a)) { ret a; }
         case (ast::expr_self_method(_, ?a)) { ret a; }
+        case (ast::expr_spawn(_, _, _, _, ?a)) { ret a; }
     }
 }
 

src/comp/middle/typeck.rs

@@ -1509,6 +1509,22 @@ mod Pushdown {
                 e_1 = ast::expr_send(lval_1, expr_1, ann);
             }
 
+            case (ast::expr_spawn(?dom, ?name, ?func, ?args, ?ann)) {
+                // TODO: This is copied from call, since spawn is sort of like
+                // a call expression. However, it's not doing anything with
+                // the domain or name parameters.
+
+                // NB: we call 'Demand::autoderef' and pass in adk only in
+                // cases where e is an expression that could *possibly*
+                // produce a box; things like expr_binary or expr_bind can't,
+                // so there's no need.
+                auto t = Demand::autoderef(fcx, e.span, expected,
+                    ann_to_type(fcx.ccx.node_types, ann), adk);
+                e_1 = ast::expr_spawn(dom, name, func, args,
+                                     triv_ann(ast::ann_tag(ann), t));
+                write_type_only(fcx.ccx.node_types, ast::ann_tag(ann), t);
+            }
+
             case (_) {
                 fcx.ccx.sess.span_unimpl(e.span,
                     #fmt("type unification for expression variant: %s",