Function eager_resolve_vars

pub fn eager_resolve_vars<D: SolverDelegate, T: TypeFoldable<D::Interner>>(
    delegate: &D,
    value: T,
) -> T