From 0d5724b7736a9a03e2bc9639569f5a3b8b1558dc Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Sat, 11 Dec 2010 22:39:11 -0800
Subject: rustc: Make return value inference use next_ty_var, now that we have
 it

---
 src/comp/middle/typeck.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/comp')

diff --git a/src/comp/middle/typeck.rs b/src/comp/middle/typeck.rs
index ca8c26fe..cc2abcb0 100644
--- a/src/comp/middle/typeck.rs
+++ b/src/comp/middle/typeck.rs
@@ -1483,7 +1483,7 @@ fn check_expr(&fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
                 // FIXME: this breaks aliases. We need a ty_fn_arg.
                 append[arg](arg_tys_0, rec(mode=ast.val, ty=expr_ty(a_0)));
             }
-            auto rt_0 = plain_ty(ty_var(-2));   // FIXME: broken!
+            auto rt_0 = next_ty_var(fcx);
             auto t_0 = plain_ty(ty_fn(arg_tys_0, rt_0));
 
             // Unify and write back to the function.
-- 
cgit v1.2.3