Enum cairo_lang_semantic::expr::inference::InferenceId

pub enum InferenceId {
    LookupItemDeclaration(LookupItemId),
    LookupItemGenerics(LookupItemId),
    LookupItemDefinition(LookupItemId),
    ImplDefTrait(ImplDefId),
    ImplAliasImplDef(ImplAliasId),
    GenericParam(GenericParamId),
    GenericImplParamTrait(GenericParamId),
    Canonical,
    NoContext,
}

An id for an inference context. Each inference variable is associated with an inference id.

Variants

LookupItemDeclaration(LookupItemId)

LookupItemGenerics(LookupItemId)

LookupItemDefinition(LookupItemId)

ImplDefTrait(ImplDefId)

ImplAliasImplDef(ImplAliasId)

GenericParam(GenericParamId)

GenericImplParamTrait(GenericParamId)

Canonical

NoContext

For resolving that will not be used anywhere in the semantic model.

Trait Implementations

impl Clone for InferenceId

fn clone(&self) -> InferenceId

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for InferenceId

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 InferenceId

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 Hash for InferenceId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for InferenceId

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T: SemanticRewriter<LookupItemId, Error> + SemanticRewriter<ImplDefId, Error> + SemanticRewriter<ImplAliasId, Error> + SemanticRewriter<GenericParamId, Error>, Error> SemanticObject<T, Error> for InferenceId

fn default_rewrite(self, rewriter: &mut T) -> Result<Self, Error>

impl<'a> SemanticRewriter<InferenceId, DiagnosticAdded> for SubstitutionRewriter<'a>

fn rewrite( &mut self, value: InferenceId ) -> Result<InferenceId, DiagnosticAdded>

impl<'a> SemanticRewriter<InferenceId, NoError> for Inference<'a>

fn rewrite(&mut self, value: InferenceId) -> Result<InferenceId, NoError>

impl Copy for InferenceId

impl Eq for InferenceId

impl StructuralEq for InferenceId

impl StructuralPartialEq for InferenceId