Function rustc_infer::infer::resolve::fully_resolve
source · pub fn fully_resolve<'a, 'tcx, T>(
infcx: &InferCtxt<'a, 'tcx>,
value: T
) -> FixupResult<'tcx, T>where
T: TypeFoldable<'tcx>,
Expand description
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.