Function eager_resolve_vars 

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

Resolves ty, region, and const vars to their inferred values or their root vars.