diff --git a/src/librustc/ty/fold.rs b/src/librustc/ty/fold.rs index fbbc0e92bcd..069dc0275cb 100644 --- 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),