Enum SolverDefId 

pub enum SolverDefId<'db> {
    AdtId(AdtId),
    ConstId(ConstId),
    FunctionId(FunctionId),
    ImplId(ImplId),
    BuiltinDeriveImplId(BuiltinDeriveImplId),
    StaticId(StaticId),
    AnonConstId(AnonConstId<'db>),
    TraitId(TraitId),
    TypeAliasId(TypeAliasId),
    InternedClosureId(InternedClosureId<'db>),
    InternedCoroutineId(InternedCoroutineId<'db>),
    InternedCoroutineClosureId(InternedCoroutineClosureId<'db>),
    InternedOpaqueTyId(InternedOpaqueTyId<'db>),
    EnumVariantId(EnumVariantId),
    Ctor(Ctor),
}

Variants

AdtId(AdtId)

ConstId(ConstId)

FunctionId(FunctionId)

ImplId(ImplId)

BuiltinDeriveImplId(BuiltinDeriveImplId)

StaticId(StaticId)

AnonConstId(AnonConstId<'db>)

TraitId(TraitId)

TypeAliasId(TypeAliasId)

InternedClosureId(InternedClosureId<'db>)

InternedCoroutineId(InternedCoroutineId<'db>)

InternedCoroutineClosureId(InternedCoroutineClosureId<'db>)

InternedOpaqueTyId(InternedOpaqueTyId<'db>)

EnumVariantId(EnumVariantId)

Ctor(Ctor)

Trait Implementations

impl<'db> Clone for SolverDefId<'db>

fn clone(&self) -> SolverDefId<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SolverDefId<'_>

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

Formats the value using the given formatter.

impl<'db> DefId<DbInterner<'db>> for SolverDefId<'db>

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for AdtIdWrapper

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for ClosureIdWrapper<'db>

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for CoroutineClosureIdWrapper<'db>

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for CoroutineIdWrapper<'db>

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for FreeConstAliasId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for FreeTermAliasId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for FreeTyAliasId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for ImplOrTraitAssocConstId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for ImplOrTraitAssocTermId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for ImplOrTraitAssocTyId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for InherentAssocConstId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for InherentAssocTermId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for InherentAssocTyId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for TraitAssocConstId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for TraitAssocTermId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for TraitAssocTyId

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for TraitIdWrapper

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> DefId<DbInterner<'db>, SolverDefId<'db>> for TypeAliasIdWrapper

fn as_local(self) -> Option<SolverDefId<'db>>

fn is_local(self) -> bool

impl<'db> From<AdtId> for SolverDefId<'db>

fn from(it: AdtId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<AdtIdWrapper> for SolverDefId<'db>

fn from(value: AdtIdWrapper) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<AnonConstId<'db>> for SolverDefId<'db>

fn from(it: AnonConstId<'db>) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<AnyImplId> for SolverDefId<'db>

fn from(value: AnyImplId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<BuiltinDeriveImplId> for SolverDefId<'db>

fn from(it: BuiltinDeriveImplId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<CallableDefId> for SolverDefId<'db>

fn from(value: CallableDefId) -> Self

Converts to this type from the input type.

impl<'db> From<CallableIdWrapper> for SolverDefId<'db>

fn from(value: CallableIdWrapper) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<ClosureIdWrapper<'db>> for SolverDefId<'db>

fn from(value: ClosureIdWrapper<'db>) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<ConstId> for SolverDefId<'db>

fn from(it: ConstId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<CoroutineClosureIdWrapper<'db>> for SolverDefId<'db>

fn from(value: CoroutineClosureIdWrapper<'db>) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<CoroutineIdWrapper<'db>> for SolverDefId<'db>

fn from(value: CoroutineIdWrapper<'db>) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<Ctor> for SolverDefId<'db>

fn from(it: Ctor) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<DefWithBodyId> for SolverDefId<'db>

fn from(value: DefWithBodyId) -> Self

Converts to this type from the input type.

impl<'db> From<EnumId> for SolverDefId<'db>

fn from(it: EnumId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<EnumVariantId> for SolverDefId<'db>

fn from(it: EnumVariantId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<ExpressionStoreOwnerId> for SolverDefId<'db>

fn from(value: ExpressionStoreOwnerId) -> Self

Converts to this type from the input type.

impl<'db> From<FreeConstAliasId> for SolverDefId<'db>

fn from(value: FreeConstAliasId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<FreeTermAliasId> for SolverDefId<'db>

fn from(value: FreeTermAliasId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<FreeTyAliasId> for SolverDefId<'db>

fn from(value: FreeTyAliasId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<FunctionId> for SolverDefId<'db>

fn from(it: FunctionId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<GeneralConstId<'db>> for SolverDefId<'db>

fn from(value: GeneralConstId<'db>) -> Self

Converts to this type from the input type.

impl<'db> From<GeneralConstIdWrapper<'db>> for SolverDefId<'db>

fn from(value: GeneralConstIdWrapper<'db>) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<GenericDefId> for SolverDefId<'db>

fn from(value: GenericDefId) -> Self

Converts to this type from the input type.

impl<'db> From<ImplId> for SolverDefId<'db>

fn from(it: ImplId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<ImplOrTraitAssocConstId> for SolverDefId<'db>

fn from(value: ImplOrTraitAssocConstId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<ImplOrTraitAssocTermId> for SolverDefId<'db>

fn from(value: ImplOrTraitAssocTermId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<ImplOrTraitAssocTyId> for SolverDefId<'db>

fn from(value: ImplOrTraitAssocTyId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<InferBodyId<'db>> for SolverDefId<'db>

fn from(value: InferBodyId<'db>) -> Self

Converts to this type from the input type.

impl<'db> From<InherentAssocConstId> for SolverDefId<'db>

fn from(value: InherentAssocConstId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<InherentAssocTermId> for SolverDefId<'db>

fn from(value: InherentAssocTermId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<InherentAssocTyId> for SolverDefId<'db>

fn from(value: InherentAssocTyId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<InternedClosureId<'db>> for SolverDefId<'db>

fn from(it: InternedClosureId<'db>) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<InternedCoroutineClosureId<'db>> for SolverDefId<'db>

fn from(it: InternedCoroutineClosureId<'db>) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<InternedCoroutineId<'db>> for SolverDefId<'db>

fn from(it: InternedCoroutineId<'db>) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<InternedOpaqueTyId<'db>> for SolverDefId<'db>

fn from(it: InternedOpaqueTyId<'db>) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<OpaqueTyIdWrapper<'db>> for SolverDefId<'db>

fn from(value: OpaqueTyIdWrapper<'db>) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<StaticId> for SolverDefId<'db>

fn from(it: StaticId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<StructId> for SolverDefId<'db>

fn from(it: StructId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<TermId> for SolverDefId<'db>

fn from(value: TermId) -> Self

Converts to this type from the input type.

impl<'db> From<TraitAssocConstId> for SolverDefId<'db>

fn from(value: TraitAssocConstId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<TraitAssocTermId> for SolverDefId<'db>

fn from(value: TraitAssocTermId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<TraitAssocTyId> for SolverDefId<'db>

fn from(value: TraitAssocTyId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<TraitId> for SolverDefId<'db>

fn from(it: TraitId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<TraitIdWrapper> for SolverDefId<'db>

fn from(value: TraitIdWrapper) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<TypeAliasId> for SolverDefId<'db>

fn from(it: TypeAliasId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<TypeAliasIdWrapper> for SolverDefId<'db>

fn from(value: TypeAliasIdWrapper) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<UnionId> for SolverDefId<'db>

fn from(it: UnionId) -> SolverDefId<'db>

Converts to this type from the input type.

impl<'db> From<VariantId> for SolverDefId<'db>

fn from(value: VariantId) -> Self

Converts to this type from the input type.

impl<V> GenericTypeVisitable<V> for SolverDefId<'_>

fn generic_visit_with(&self, _visitor: &mut V)

impl<'db> Hash for SolverDefId<'db>

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<'db> Ord for SolverDefId<'db>

fn cmp(&self, other: &SolverDefId<'db>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<'db> PartialEq for SolverDefId<'db>

fn eq(&self, other: &SolverDefId<'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> PartialOrd for SolverDefId<'db>

fn partial_cmp(&self, other: &SolverDefId<'db>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl TryFrom<SolverDefId<'_>> for AdtIdWrapper

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for AnyImplId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for AttrDefId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for CallableIdWrapper

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for DefWithBodyId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for FreeConstAliasId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for FreeTermAliasId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for FreeTyAliasId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for GenericDefId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for ImplOrTraitAssocConstId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for ImplOrTraitAssocTermId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for ImplOrTraitAssocTyId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for InherentAssocConstId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for InherentAssocTermId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for InherentAssocTyId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for TraitAssocConstId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for TraitAssocTermId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for TraitAssocTyId

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for TraitIdWrapper

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SolverDefId<'_>> for TypeAliasIdWrapper

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'db> TryFrom<SolverDefId<'db>> for ClosureIdWrapper<'db>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'db>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'db> TryFrom<SolverDefId<'db>> for CoroutineClosureIdWrapper<'db>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'db>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'db> TryFrom<SolverDefId<'db>> for CoroutineIdWrapper<'db>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'db>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'db> TryFrom<SolverDefId<'db>> for GeneralConstIdWrapper<'db>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'db>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'db> TryFrom<SolverDefId<'db>> for InferBodyId<'db>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'db>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'db> TryFrom<SolverDefId<'db>> for OpaqueTyIdWrapper<'db>

type Error = ()

The type returned in the event of a conversion error.

fn try_from(value: SolverDefId<'db>) -> Result<Self, Self::Error>

Performs the conversion.

impl<'db> TypeFoldable<DbInterner<'db>> for SolverDefId<'_>

fn try_fold_with<F: FallibleTypeFolder<DbInterner<'db>>>( self, _: &mut F, ) -> Result<Self, F::Error>

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

fn fold_with<F: TypeFolder<DbInterner<'db>>>(self, _: &mut F) -> Self

The entry point for folding. To fold a value t with a folder f call: t.fold_with(f).

impl<'db> TypeVisitable<DbInterner<'db>> for SolverDefId<'_>

fn visit_with<F: TypeVisitor<DbInterner<'db>>>(&self, _: &mut F) -> F::Result

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl<'db> Update for SolverDefId<'db>

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

Returns

impl<'db> Copy for SolverDefId<'db>

impl<'db> Eq for SolverDefId<'db>

impl<'db> StructuralPartialEq for SolverDefId<'db>