Function rustc_lint::middle::infer::resolve::fully_resolveUnstable [-] [+] [src]

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