pub fn fold_regions<I: Interner, T>(
cx: I,
value: T,
f: impl FnMut(I::Region, DebruijnIndex) -> I::Region,
) -> Twhere
T: TypeFoldable<I>,
pub fn fold_regions<I: Interner, T>(
cx: I,
value: T,
f: impl FnMut(I::Region, DebruijnIndex) -> I::Region,
) -> Twhere
T: TypeFoldable<I>,