Skip to main content

## fully_resolve

# Function fully_resolve

    pub fn fully_resolve<'tcx, T>(
        infcx: &InferCtxt<'tcx>,
        value: T,
    ) -> Result<T, FixupError>where
        T: TypeFoldable<TyCtxt<'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.