squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

rustc: Only generalize on definition types that can actually be parametric

Browse source
This commit is contained in:
Patrick Walton 2010-12-16 13:59:20 -08:00
parent 680e858d61
commit a6c6e8679e
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/comp/middle/typeck.rs
View file

@ -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)));