Struct InferenceData

pub struct InferenceData {
    pub inference_id: InferenceId,
    pub type_assignment: HashMap<LocalTypeVarId, TypeId>,
    pub const_assignment: HashMap<LocalConstVarId, ConstValueId>,
    pub impl_assignment: HashMap<LocalImplVarId, ImplId>,
    pub impl_vars_trait_item_mappings: HashMap<LocalImplVarId, ImplVarTraitItemMappings>,
    pub type_vars: Vec<TypeVar>,
    pub const_vars: Vec<ConstVar>,
    pub impl_vars: Vec<ImplVar>,
    pub stable_ptrs: HashMap<InferenceVar, SyntaxStablePtrId>,
    pub impl_type_bounds: OrderedHashMap<ImplTypeId, TypeId>,
    pub error_status: Result<(), InferenceErrorStatus>,
    /* private fields */
}

State of inference.

Fields

inference_id: InferenceId

type_assignment: HashMap<LocalTypeVarId, TypeId>

Current inferred assignment for type variables.

const_assignment: HashMap<LocalConstVarId, ConstValueId>

Current inferred assignment for const variables.

impl_assignment: HashMap<LocalImplVarId, ImplId>

Current inferred assignment for impl variables.

impl_vars_trait_item_mappings: HashMap<LocalImplVarId, ImplVarTraitItemMappings>

Unsolved impl variables mapping to a maps of trait items to a corresponding item variable. Upon solution of the trait conforms the fully known item to the variable.

type_vars: Vec<TypeVar>

Type variables.

const_vars: Vec<ConstVar>

Const variables.

impl_vars: Vec<ImplVar>

Impl variables.

stable_ptrs: HashMap<InferenceVar, SyntaxStablePtrId>

Mapping from variables to stable pointers, if exist.

impl_type_bounds: OrderedHashMap<ImplTypeId, TypeId>

Mapping from impl types to type variables.

error_status: Result<(), InferenceErrorStatus>

The current error status.

Implementations

impl InferenceData

pub fn new(inference_id: InferenceId) -> Self

pub fn inference<'db, 'b: 'db>( &'db mut self, db: &'b dyn SemanticGroup, ) -> Inference<'db>

pub fn clone_with_inference_id( &self, db: &dyn SemanticGroup, inference_id: InferenceId, ) -> InferenceData

pub fn temporary_clone(&self) -> InferenceData

Trait Implementations

impl Debug for InferenceData

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

Formats the value using the given formatter.

impl<'a, T: ?Sized + Upcast<dyn SemanticGroup + 'static>> DebugWithDb<T> for InferenceData

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

fn debug<'me, 'db>(&'me self, db: &'me Db) -> DebugWith<'me, Db>

where Self: Sized + 'me,

fn into_debug<'me, 'db>(self, db: &'me Db) -> DebugWith<'me, Db>

where Self: Sized + 'me,

impl PartialEq for InferenceData

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

impl StructuralPartialEq for InferenceData