Struct InferenceData 

pub struct InferenceData<'db> {
    pub inference_id: InferenceId<'db>,
    pub type_assignment: OrderedHashMap<LocalTypeVarId, TypeId<'db>>,
    pub const_assignment: OrderedHashMap<LocalConstVarId, ConstValueId<'db>>,
    pub impl_assignment: OrderedHashMap<LocalImplVarId, ImplId<'db>>,
    pub negative_impl_assignment: OrderedHashMap<LocalNegativeImplVarId, NegativeImplId<'db>>,
    pub impl_vars_trait_item_mappings: HashMap<LocalImplVarId, ImplVarTraitItemMappings<'db>>,
    pub type_vars: Vec<TypeVar<'db>>,
    pub const_vars: Vec<ConstVar<'db>>,
    pub impl_vars: Vec<ImplVar<'db>>,
    pub negative_impl_vars: Vec<NegativeImplVar<'db>>,
    pub stable_ptrs: HashMap<InferenceVar, SyntaxStablePtrId<'db>>,
    pub impl_type_bounds: Arc<BTreeMap<ImplTypeById<'db>, TypeId<'db>>>,
    /* private fields */
}

State of inference.

Fields

inference_id: InferenceId<'db>

type_assignment: OrderedHashMap<LocalTypeVarId, TypeId<'db>>

Current inferred assignment for type variables.

const_assignment: OrderedHashMap<LocalConstVarId, ConstValueId<'db>>

Current inferred assignment for const variables.

impl_assignment: OrderedHashMap<LocalImplVarId, ImplId<'db>>

Current inferred assignment for impl variables.

negative_impl_assignment: OrderedHashMap<LocalNegativeImplVarId, NegativeImplId<'db>>

Current inferred assignment for negative impl variables.

impl_vars_trait_item_mappings: HashMap<LocalImplVarId, ImplVarTraitItemMappings<'db>>

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<'db>>

Type variables.

const_vars: Vec<ConstVar<'db>>

Const variables.

impl_vars: Vec<ImplVar<'db>>

Impl variables.

negative_impl_vars: Vec<NegativeImplVar<'db>>

Negative impl variables.

stable_ptrs: HashMap<InferenceVar, SyntaxStablePtrId<'db>>

Mapping from variables to stable pointers, if exist.

impl_type_bounds: Arc<BTreeMap<ImplTypeById<'db>, TypeId<'db>>>

Mapping from impl types to type variables.

Implementations

impl<'db> InferenceData<'db>

pub fn new(inference_id: InferenceId<'db>) -> Self

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

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

pub fn temporary_clone(&self) -> InferenceData<'db>

Trait Implementations

impl<'db> Debug for InferenceData<'db>

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

Formats the value using the given formatter.

impl<'db> DebugWithDb<'db> for InferenceData<'db>

type Db = dyn Database

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

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

where Self: Sized + 'me,

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

where Self: Sized + 'me,

impl<'db> PartialEq for InferenceData<'db>

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

unsafe fn maybe_update(old_pointer_: *mut Self, new_value_: Self) -> bool

Returns

impl<'db> Eq for InferenceData<'db>

impl<'db> StructuralPartialEq for InferenceData<'db>