---

yaml
---
r: 2590
b: refs/heads/master
c: 8d10594
h: refs/heads/master
v: v3

Author: Eric Holk

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 37768cba92f58c99cc320a02d67165d41d8642f6
+refs/heads/master: 8d10594ed5f1cf9f8690026f06c86af3a8e61f56

trunk/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; }
     }
 }
 

trunk/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",