Struct InferenceResult

pub struct InferenceResult {
    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 InferenceResult

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

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<(AssocItemId, Substitution)>

pub fn assoc_resolutions_for_pat( &self, id: PatId, ) -> Option<(AssocItemId, Substitution)>

pub fn assoc_resolutions_for_expr_or_pat( &self, id: ExprOrPatId, ) -> Option<(AssocItemId, Substitution)>

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

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

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

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

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

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

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

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

pub fn is_erroneous(&self) -> bool

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

pub fn tuple_field_access_type(&self, id: TupleId) -> &Substitution

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

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

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

Trait Implementations

impl Clone for InferenceResult

fn clone(&self) -> InferenceResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferenceResult

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

Formats the value using the given formatter.

impl Default for InferenceResult

fn default() -> InferenceResult

Returns the “default value” for a type.

impl Index<ExprOrPatId> for InferenceResult

type Output = Ty<Interner>

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl Index<Idx<Binding>> for InferenceResult

type Output = Ty<Interner>

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl Index<Idx<Expr>> for InferenceResult

type Output = Ty<Interner>

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl Index<Idx<Pat>> for InferenceResult

type Output = Ty<Interner>

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl PartialEq for InferenceResult

fn eq(&self, other: &InferenceResult) -> 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 Eq for InferenceResult

impl StructuralPartialEq for InferenceResult