Function rustc_infer::infer::resolve::fully_resolve

pub fn fully_resolve<'a, 'tcx, T>(
    infcx: &InferCtxt<'a, 'tcx>, 
    value: T
) -> FixupResult<'tcx, T> where
    T: TypeFoldable<'tcx>, 

Full type resolution replaces all type and region variables with their concrete results. If any variable cannot be replaced (never unified, etc) then an Err result is returned.