Function replace_escaping_bound_vars_uncached 

pub fn replace_escaping_bound_vars_uncached<I, T>(
    cx: I,
    value: T,
    delegate: impl BoundVarReplacerDelegate<I>,
) -> T
where
    I: Interner,
    T: TypeFoldable<I>,

Replaces escaping bound vars using delegate.