Function rustc::infer::resolve::fully_resolve
[−]
[src]
pub fn fully_resolve<'a, 'gcx, 'tcx, T>(infcx: &InferCtxt<'a, 'gcx, 'tcx>,
value: &T)
-> FixupResult<T> where T: TypeFoldable<'tcx>
🔬 This is a nightly-only experimental API. (
rustc_private
)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.