Expand description
During type inference, partially inferred terms are
represented using inference variables (ty::Infer). These don’t appear in
the final ty::TypeckResults since all of the types should have been
inferred once typeck is done.
When type inference is running however, having to update the typeck results
every time a new type is inferred would be unreasonably slow, so instead all
of the replacement happens at the end in FnCtxt::resolve_type_vars_in_body,
which creates a new TypeckResults which doesn’t contain any inference variables.
Re-exports§
use std::mem;🔒use std::ops::ControlFlow;🔒use rustc_attr_ir::find_attr;🔒use rustc_data_structures::fx::FxHashSet;🔒use rustc_data_structures::fx::FxIndexMap;🔒use rustc_data_structures::unord::ExtendUnord;🔒use rustc_errors::E0720;🔒use rustc_errors::ErrorGuaranteed;🔒use rustc_hir::def_id::LocalDefId;🔒use rustc_hir::intravisit;🔒use rustc_hir::intravisit::InferKind;🔒use rustc_hir::intravisit::Visitor;🔒use rustc_hir as hir;🔒use rustc_hir::AmbigArg;🔒use rustc_hir::HirId;🔒use rustc_infer::traits::solve::Goal;🔒use rustc_middle::traits::ObligationCause;🔒use rustc_middle::ty::adjustment::Adjust;🔒use rustc_middle::ty::adjustment::Adjustment;🔒use rustc_middle::ty::adjustment::PointerCoercion;🔒use rustc_middle::ty;🔒use rustc_middle::ty::DefiningScopeKind;🔒use rustc_middle::ty::DefinitionSiteHiddenType;🔒use rustc_middle::ty::Flags;🔒use rustc_middle::ty::PredicateProxy;🔒use rustc_middle::ty::Ty;🔒use rustc_middle::ty::TyCtxt;🔒use rustc_middle::ty::TypeFoldable;🔒use rustc_middle::ty::TypeFolder;🔒use rustc_middle::ty::TypeSuperFoldable;🔒use rustc_middle::ty::TypeSuperVisitable;🔒use rustc_middle::ty::TypeVisitable;🔒use rustc_middle::ty::TypeVisitableExt;🔒use rustc_middle::ty::TypeVisitor;🔒use rustc_middle::ty::Unnormalized;🔒use rustc_middle::ty::fold_regions;🔒use rustc_span::Span;🔒use rustc_trait_selection::error_reporting::infer::need_type_info::TypeAnnotationNeeded;🔒use rustc_trait_selection::opaque_types::opaque_type_has_defining_use_args;🔒use rustc_trait_selection::solve;🔒use tracing::debug;🔒use tracing::instrument;🔒use tracing::instrument;🔒use crate::FnCtxt;🔒
Structs§
- Eagerly
Normalize 🔒Consts - HasRecursive
Opaque 🔒 - Resolver 🔒
- Writeback
Cx 🔒 - The Writeback context. This visitor walks the HIR, checking the
fn-specific typeck results to find inference variables. It resolves
those inference variables and writes the final result into the
TypeckResults. It also applies a few ad-hoc checks that were not convenient to do elsewhere.