Struct ra_ap_hir_ty::InferenceResult

pub struct InferenceResult {
    pub type_of_expr: ArenaMap<ExprId, Ty>,
    pub type_of_pat: ArenaMap<PatId, Ty>,
    // some fields omitted
}

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

Fields

type_of_expr: ArenaMap<ExprId, Ty>

type_of_pat: ArenaMap<PatId, Ty>

Implementations

impl InferenceResult

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

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

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

pub fn record_field_pat_resolution(&self, pat: PatId) -> 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 add_diagnostics(
    &self,
    db: &dyn HirDatabase,
    owner: DefWithBodyId,
    sink: &mut DiagnosticSink<'_>
)

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 Eq for InferenceResult

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 StructuralEq for InferenceResult

impl StructuralPartialEq for InferenceResult