Struct InferenceResult 

pub struct InferenceResult<'db> {
    pub mutated_bindings_in_closure: FxHashSet<BindingId>,
    /* private fields */
}

The result of type inference: A mapping from expressions and patterns to types.

When you add a field that stores types (including Substitution and the like), don’t forget resolve_completely()’ing them in InferenceContext::resolve_all(). Inference variables must not appear in the final inference result.

Fields

mutated_bindings_in_closure: FxHashSet<BindingId>

Implementations

impl<'db> InferenceResult<'db>

pub fn for_body( db: &'db dyn HirDatabase, def: DefWithBodyId, ) -> &'db InferenceResult<'db>

impl<'db> InferenceResult<'db>

pub fn method_resolution( &self, expr: ExprId, ) -> Option<(FunctionId, GenericArgs<'db>)>

pub fn field_resolution( &self, expr: ExprId, ) -> Option<Either<FieldId, TupleFieldId>>

pub fn variant_resolution_for_expr(&self, id: ExprId) -> Option<VariantId>

pub fn variant_resolution_for_pat(&self, id: PatId) -> Option<VariantId>

pub fn variant_resolution_for_expr_or_pat( &self, id: ExprOrPatId, ) -> Option<VariantId>

pub fn assoc_resolutions_for_expr( &self, id: ExprId, ) -> Option<(CandidateId, GenericArgs<'db>)>

pub fn assoc_resolutions_for_pat( &self, id: PatId, ) -> Option<(CandidateId, GenericArgs<'db>)>

pub fn assoc_resolutions_for_expr_or_pat( &self, id: ExprOrPatId, ) -> Option<(CandidateId, GenericArgs<'db>)>

pub fn type_mismatch_for_expr(&self, expr: ExprId) -> Option<&TypeMismatch<'db>>

pub fn type_mismatch_for_pat(&self, pat: PatId) -> Option<&TypeMismatch<'db>>

pub fn type_mismatches( &self, ) -> impl Iterator<Item = (ExprOrPatId, &TypeMismatch<'db>)>

pub fn expr_type_mismatches( &self, ) -> impl Iterator<Item = (ExprId, &TypeMismatch<'db>)>

pub fn placeholder_types(&self) -> impl Iterator<Item = (TypeRefId, &Ty<'db>)>

pub fn type_of_type_placeholder(&self, type_ref: TypeRefId) -> Option<Ty<'db>>

pub fn closure_info( &self, closure: InternedClosureId, ) -> &(Vec<CapturedItem<'db>>, FnTrait)

pub fn type_of_expr_or_pat(&self, id: ExprOrPatId) -> Option<Ty<'db>>

pub fn type_of_expr_with_adjust(&self, id: ExprId) -> Option<Ty<'db>>

pub fn type_of_pat_with_adjust(&self, id: PatId) -> Option<Ty<'db>>

pub fn is_erroneous(&self) -> bool

pub fn diagnostics(&self) -> &[InferenceDiagnostic<'db>]

pub fn tuple_field_access_type(&self, id: TupleId) -> Tys<'db>

pub fn pat_adjustment(&self, id: PatId) -> Option<&[Ty<'db>]>

pub fn expr_adjustment(&self, id: ExprId) -> Option<&[Adjustment<'db>]>

pub fn binding_mode(&self, id: PatId) -> Option<BindingMode>

pub fn expression_types(&self) -> impl Iterator<Item = (ExprId, Ty<'db>)>

pub fn pattern_types(&self) -> impl Iterator<Item = (PatId, Ty<'db>)>

pub fn binding_types(&self) -> impl Iterator<Item = (BindingId, Ty<'db>)>

pub fn return_position_impl_trait_types( &self, db: &'db dyn HirDatabase, ) -> impl Iterator<Item = (ImplTraitIdx<'db>, Ty<'db>)>

Trait Implementations

impl<'db> Clone for InferenceResult<'db>

fn clone(&self) -> InferenceResult<'db>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'db> Debug for InferenceResult<'db>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'db> Index<ExprOrPatId> for InferenceResult<'db>

type Output = Ty<'db>

The returned type after indexing.

fn index(&self, id: ExprOrPatId) -> &Ty<'db>

Performs the indexing (container[index]) operation.

impl<'db> Index<Idx<Binding>> for InferenceResult<'db>

type Output = Ty<'db>

The returned type after indexing.

fn index(&self, b: BindingId) -> &Ty<'db>

Performs the indexing (container[index]) operation.

impl<'db> Index<Idx<Expr>> for InferenceResult<'db>

type Output = Ty<'db>

The returned type after indexing.

fn index(&self, expr: ExprId) -> &Ty<'db>

Performs the indexing (container[index]) operation.

impl<'db> Index<Idx<Pat>> for InferenceResult<'db>

type Output = Ty<'db>

The returned type after indexing.

fn index(&self, pat: PatId) -> &Ty<'db>

Performs the indexing (container[index]) operation.

impl<'db> PartialEq for InferenceResult<'db>

fn eq(&self, other: &InferenceResult<'db>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'db> Update for InferenceResult<'db>

unsafe fn maybe_update(old_pointer_: *mut Self, new_value_: Self) -> bool

Returns

impl<'db> Eq for InferenceResult<'db>

impl<'db> StructuralPartialEq for InferenceResult<'db>