Struct ra_ap_hir_ty::InferenceResult

pub struct InferenceResult {
    pub diagnostics: Vec<InferenceDiagnostic>,
    pub type_of_expr: ArenaMap<ExprId, Ty>,
    pub type_of_pat: ArenaMap<PatId, Ty>,
    pub pat_adjustments: FxHashMap<PatId, Vec<Ty>>,
    // some fields omitted
}

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

Fields

diagnostics: Vec<InferenceDiagnostic>

type_of_expr: ArenaMap<ExprId, Ty>

type_of_pat: ArenaMap<PatId, Ty>

For each pattern record the type it resolves to.

Note: When a pattern type is resolved it may still contain unresolved or missing subpatterns or subpatterns of mismatched types.

pat_adjustments: FxHashMap<PatId, Vec<Ty>>

Stores the types which were implicitly dereferenced in pattern binding modes.

Implementations

impl InferenceResult

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

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

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

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

pub fn assoc_resolutions_for_expr(&self, id: ExprId) -> Option<AssocItemId>

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

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

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

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

pub fn pat_type_mismatches(
    &self
) -> impl Iterator<Item = (PatId, &TypeMismatch)>

Trait Implementations

impl Clone for InferenceResult

fn clone(&self) -> InferenceResult

Returns a copy 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<Idx<Expr>> for InferenceResult

type Output = Ty

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

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl PartialEq<InferenceResult> for InferenceResult

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Eq for InferenceResult

impl StructuralEq for InferenceResult

impl StructuralPartialEq for InferenceResult