---

catamorphism · catamorphism · commit 7ed6bf4e1d32 · 2012-10-11T16:46:06.000-07:00
yaml --- r: 33269 b: refs/heads/snap-stage3 c: 915897b h: refs/heads/master i: 33267: 34ed363 v: v3
diff --git a/[refs] b/[refs]
@@ -1,7 +1,7 @@
 ---
 refs/heads/master: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 7509a3d75b08aeaf939cea1c15be1f9f61cafdf8
+refs/heads/snap-stage3: 915897b3df8276ea62a648c23f80b3cf1c6902b0
 refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
diff --git a/branches/snap-stage3/src/rustc/util/ppaux.rs b/branches/snap-stage3/src/rustc/util/ppaux.rs
@@ -119,8 +119,6 @@ fn bound_region_to_str(cx: ctxt, br: bound_region) -> ~str {
         if cx.sess.verbose() {fmt!("&%u", idx)} else {~"&"}
       }
 
-      // FIXME(#3011) -- even if this arm is removed, exhaustiveness checking
-      // does not fail
       br_cap_avoid(id, br) => {
         if cx.sess.verbose() {
             fmt!("br_cap_avoid(%?, %s)", id, bound_region_to_str(cx, *br))

Original file line number	Diff line number	Diff line change
`@@ -119,8 +119,6 @@ fn bound_region_to_str(cx: ctxt, br: bound_region) -> ~str {`
`119`	`119`	`if cx.sess.verbose() {fmt!("&%u", idx)} else {~"&"}`
`120`	`120`	`}`
`121`	`121`
`122`		`- // FIXME(#3011) -- even if this arm is removed, exhaustiveness checking`
`123`		`- // does not fail`
`124`	`122`	`br_cap_avoid(id, br) => {`
`125`	`123`	`if cx.sess.verbose() {`
`126`	`124`	`fmt!("br_cap_avoid(%?, %s)", id, bound_region_to_str(cx, *br))`