---

yaml
---
r: 1103
b: refs/heads/master
c: a6c6e86
h: refs/heads/master
i:
  1101: c650dbc
  1099: 1c51182
  1095: 99823dd
  1087: 0ed4ce3
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 680e858d612fe9da436194dacdf2987ece9ada03
+refs/heads/master: a6c6e8679e2a04624be710c00828bd59d1f4cc3b

trunk/src/comp/middle/typeck.rs

@@ -1767,7 +1767,7 @@ fn check_expr(&fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
                 }
                 case (ast.def_fn(?id)) {
                     check (fcx.ccx.item_types.contains_key(id));
-                    t = fcx.ccx.item_types.get(id);
+                    t = generalize_ty(fcx.ccx, fcx.ccx.item_types.get(id));
                 }
                 case (ast.def_const(?id)) {
                     check (fcx.ccx.item_types.contains_key(id));
@@ -1783,7 +1783,7 @@ fn check_expr(&fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
                 }
                 case (ast.def_obj(?id)) {
                     check (fcx.ccx.item_types.contains_key(id));
-                    t = fcx.ccx.item_types.get(id);
+                    t = generalize_ty(fcx.ccx, fcx.ccx.item_types.get(id));
                 }
 
                 case (_) {
@@ -1794,8 +1794,6 @@ fn check_expr(&fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
                 }
             }
 
-            t = generalize_ty(fcx.ccx, t); 
-
             ret @fold.respan[ast.expr_](expr.span,
                                         ast.expr_name(name, defopt,
                                                       ast.ann_type(t)));