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>,