---

graydon · graydon · commit 978f225ca182 · 2011-02-14T14:14:28.000-08:00
yaml --- r: 1378 b: refs/heads/master c: 6393a34 h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 0043f99f8388ce0df316d7193a00b63d200c2a07
+refs/heads/master: 6393a34e6e4cfc7638d698353659643e63549532
diff --git a/trunk/src/comp/middle/typeck.rs b/trunk/src/comp/middle/typeck.rs
@@ -1253,7 +1253,8 @@ fn check_expr(&@fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
                 }
                 case (ast.def_variant(_, ?variant_id)) {
                     check (fcx.ccx.item_types.contains_key(variant_id));
-                    t = fcx.ccx.item_types.get(variant_id);
+                    t = generalize_ty(fcx.ccx,
+                                      fcx.ccx.item_types.get(variant_id));
                 }
                 case (ast.def_binding(?id)) {
                     check (fcx.locals.contains_key(id));

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 0043f99f8388ce0df316d7193a00b63d200c2a07`
	`2`	`+refs/heads/master: 6393a34e6e4cfc7638d698353659643e63549532`
Original file line number	Diff line number	Diff line change
`@@ -1253,7 +1253,8 @@ fn check_expr(&@fn_ctxt fcx, @ast.expr expr) -> @ast.expr {`
`1253`	`1253`	`}`
`1254`	`1254`	`case (ast.def_variant(_, ?variant_id)) {`
`1255`	`1255`	`check (fcx.ccx.item_types.contains_key(variant_id));`
`1256`		`- t = fcx.ccx.item_types.get(variant_id);`
	`1256`	`+ t = generalize_ty(fcx.ccx,`
	`1257`	`+ fcx.ccx.item_types.get(variant_id));`
`1257`	`1258`	`}`
`1258`	`1259`	`case (ast.def_binding(?id)) {`
`1259`	`1260`	`check (fcx.locals.contains_key(id));`