Function eager_resolve_vars 

pub fn eager_resolve_vars<Infcx: InferCtxtLike, T: TypeFoldable<Infcx::Interner>>(
    infcx: &Infcx,
    value: T,
) -> T