Struct InferenceResult 

pub struct InferenceResult {
    pub expr_ty: FxHashMap<ExprId, Ty>,
    pub bindings: Vec<Binding>,
    pub diagnostics: Vec<Diagnostic>,
}

The result of inferring one body.

Fields

expr_ty: FxHashMap<ExprId, Ty>

Every expression’s inferred type (feeds hover + inlay).

bindings: Vec<Binding>

The local bindings introduced by the body (params, var/const, for vars).

diagnostics: Vec<Diagnostic>

The §5 type diagnostics raised.

Implementations

impl InferenceResult

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

The inferred type of an expression, if it was visited.

pub fn binding_at(&self, offset: u32) -> Option<&Binding>

The binding whose name token contains offset, if any.

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

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