fix debruijn account in for_each_free_region

nikomatsakis · nikomatsakis · commit 4fa3effe1b1a · 2017-12-01T21:16:32.000-05:00
diff --git a/src/librustc/ty/fold.rs b/src/librustc/ty/fold.rs
@@ -247,7 +247,7 @@ impl<'a, 'gcx, 'tcx> TyCtxt<'a, 'gcx, 'tcx> {
 
             fn visit_region(&mut self, r: ty::Region<'tcx>) -> bool {
                 match *r {
-                    ty::ReLateBound(debruijn, _) if debruijn.depth < self.current_depth => {
+                    ty::ReLateBound(debruijn, _) if debruijn.depth <= self.current_depth => {
                         /* ignore bound regions */
                     }
                     _ => (self.callback)(r),

Original file line number	Diff line number	Diff line change
`@@ -247,7 +247,7 @@ impl<'a, 'gcx, 'tcx> TyCtxt<'a, 'gcx, 'tcx> {`
`247`	`247`
`248`	`248`	`fn visit_region(&mut self, r: ty::Region<'tcx>) -> bool {`
`249`	`249`	`match *r {`
`250`		`- ty::ReLateBound(debruijn, _) if debruijn.depth < self.current_depth => {`
	`250`	`+ ty::ReLateBound(debruijn, _) if debruijn.depth <= self.current_depth => {`
`251`	`251`	`/* ignore bound regions */`
`252`	`252`	`}`
`253`	`253`	`_ => (self.callback)(r),`