Skip to content

Commit 239ec6c

Browse files
drive-by: Fix a comment in TyCtxt::fold_regions and remove an unused method
1 parent 9f80c75 commit 239ec6c

File tree

1 file changed

+1
-14
lines changed
  • compiler/rustc_middle/src/ty

1 file changed

+1
-14
lines changed

compiler/rustc_middle/src/ty/fold.rs

+1-14
Original file line numberDiff line numberDiff line change
@@ -51,9 +51,7 @@ where
5151
// Region folder
5252

5353
impl<'tcx> TyCtxt<'tcx> {
54-
/// Folds the escaping and free regions in `value` using `f`, and
55-
/// sets `skipped_regions` to true if any late-bound region was found
56-
/// and skipped.
54+
/// Folds the escaping and free regions in `value` using `f`.
5755
pub fn fold_regions<T>(
5856
self,
5957
value: T,
@@ -64,17 +62,6 @@ impl<'tcx> TyCtxt<'tcx> {
6462
{
6563
value.fold_with(&mut RegionFolder::new(self, &mut f))
6664
}
67-
68-
pub fn super_fold_regions<T>(
69-
self,
70-
value: T,
71-
mut f: impl FnMut(ty::Region<'tcx>, ty::DebruijnIndex) -> ty::Region<'tcx>,
72-
) -> T
73-
where
74-
T: TypeSuperFoldable<TyCtxt<'tcx>>,
75-
{
76-
value.super_fold_with(&mut RegionFolder::new(self, &mut f))
77-
}
7865
}
7966

8067
/// Folds over the substructure of a type, visiting its component

0 commit comments

Comments
 (0)