Function fold_regions 

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