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