---

brson · brson · commit 50a84b977477 · 2011-05-21T18:35:21.000-04:00
yaml --- r: 2711 b: refs/heads/master c: d82e9c1 h: refs/heads/master i: 2709: daf857c 2707: cac0acb 2703: e4392bb v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 420d18a448b0e73904d479f7ef9206712d8b1938
+refs/heads/master: d82e9c1874a09ab1ab443fcee04d42220e21cb7f
diff --git a/trunk/src/comp/middle/typeck.rs b/trunk/src/comp/middle/typeck.rs
@@ -2235,6 +2235,8 @@ fn check_expr(&@stmt_ctxt scx, &@ast::expr expr) {
 
             Pushdown::pushdown_expr(scx, pattern_ty, expr);
 
+            // FIXME: If all the the arms were ty_bot then the result should
+            // also be ty_bot. At the moment this doesn't seem to matter
             write::ty_only_fixup(scx, a.id, result_ty);
         }
 

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 420d18a448b0e73904d479f7ef9206712d8b1938`
	`2`	`+refs/heads/master: d82e9c1874a09ab1ab443fcee04d42220e21cb7f`
Original file line number	Diff line number	Diff line change
`@@ -2235,6 +2235,8 @@ fn check_expr(&@stmt_ctxt scx, &@ast::expr expr) {`
`2235`	`2235`
`2236`	`2236`	`Pushdown::pushdown_expr(scx, pattern_ty, expr);`
`2237`	`2237`
	`2238`	`+ // FIXME: If all the the arms were ty_bot then the result should`
	`2239`	`+ // also be ty_bot. At the moment this doesn't seem to matter`
`2238`	`2240`	`write::ty_only_fixup(scx, a.id, result_ty);`
`2239`	`2241`	`}`
`2240`	`2242`