Function rustc_typeck::middle::infer::resolve::fully_resolveExperimental
[-]
[+]
[src]
pub fn fully_resolve<'tcx, T>(infcx: &InferCtxt<'a, 'tcx>, value: &T) -> Result<T, fixup_err>
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.