---

yaml
---
r: 2771
b: refs/heads/master
c: 6473b73
h: refs/heads/master
i:
  2769: c4adc76
  2767: 0578bfd
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 0c1ea141b4e207caaae524a4e770cf593353319e
+refs/heads/master: 6473b73174afc54198c4105f7fa927f04a71e04e

trunk/src/comp/middle/typeck.rs

@@ -2386,23 +2386,8 @@ fn check_expr(&@stmt_ctxt scx, &@ast::expr expr) {
         case (ast::expr_spawn(_, _, ?f, ?args, ?a)) {
             check_call(scx, f, args);
 
-            // Check the return type
             auto fty = expr_ty(scx.fcx.ccx.tcx, f);
-            alt (struct(scx.fcx.ccx.tcx, fty)) {
-                case (ty::ty_fn(_,_,?rt,_)) {
-                    alt (struct(scx.fcx.ccx.tcx, rt)) {
-                        case (ty::ty_nil) {
-                            // This is acceptable
-                        }
-                        case (_) {
-                            auto err = "non-nil return type in "
-                                + "spawned function";
-                            scx.fcx.ccx.tcx.sess.span_err(expr.span, err);
-                            fail;
-                        }
-                    }
-                }
-            }
+            Demand::simple(scx, f.span, ty::mk_nil(scx.fcx.ccx.tcx), fty);
 
             // FIXME: Other typechecks needed
 

trunk/src/test/compile-fail/spawn-non-nil-fn.rs

@@ -1,6 +1,4 @@
 // xfail-stage0
-// xfail-stage1
-// xfail-stage2
 // error-pattern: mismatched types
 
 fn f(int x) -> int {