Remove obsolete comment

catamorphism · catamorphism · commit 915897b3df82 · 2012-10-11T16:46:06.000-07:00
diff --git a/src/rustc/util/ppaux.rs b/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))`