pub struct ConstId(/* private fields */);
Trait Implementations§
source§impl From<ConstId> for AssocItemId
impl From<ConstId> for AssocItemId
source§fn from(it: ConstId) -> AssocItemId
fn from(it: ConstId) -> AssocItemId
Converts to this type from the input type.
source§impl From<ConstId> for DefWithBodyId
impl From<ConstId> for DefWithBodyId
source§fn from(it: ConstId) -> DefWithBodyId
fn from(it: ConstId) -> DefWithBodyId
Converts to this type from the input type.
source§impl From<ConstId> for GeneralConstId
impl From<ConstId> for GeneralConstId
source§fn from(it: ConstId) -> GeneralConstId
fn from(it: ConstId) -> GeneralConstId
Converts to this type from the input type.
source§impl From<ConstId> for GenericDefId
impl From<ConstId> for GenericDefId
source§fn from(it: ConstId) -> GenericDefId
fn from(it: ConstId) -> GenericDefId
Converts to this type from the input type.
source§impl From<ConstId> for ModuleDefId
impl From<ConstId> for ModuleDefId
source§fn from(it: ConstId) -> ModuleDefId
fn from(it: ConstId) -> ModuleDefId
Converts to this type from the input type.
source§impl From<ConstId> for TypeOwnerId
impl From<ConstId> for TypeOwnerId
source§fn from(it: ConstId) -> TypeOwnerId
fn from(it: ConstId) -> TypeOwnerId
Converts to this type from the input type.
source§impl HasModule for ConstId
impl HasModule for ConstId
source§fn module(&self, db: &dyn DefDatabase) -> ModuleId
fn module(&self, db: &dyn DefDatabase) -> ModuleId
Returns the enclosing module this thing is defined within.
source§fn krate(&self, db: &dyn DefDatabase) -> CrateId
fn krate(&self, db: &dyn DefDatabase) -> CrateId
Returns the crate this thing is defined within.
source§impl HasResolver for ConstId
impl HasResolver for ConstId
source§fn resolver(self, db: &dyn DefDatabase) -> Resolver
fn resolver(self, db: &dyn DefDatabase) -> Resolver
Builds a resolver for type references inside this def.
source§impl InternKey for ConstId
impl InternKey for ConstId
source§fn from_intern_id(v: InternId) -> Self
fn from_intern_id(v: InternId) -> Self
Create an instance of the intern-key from a
u32
value.source§fn as_intern_id(&self) -> InternId
fn as_intern_id(&self) -> InternId
Extract the
u32
with which the intern-key was created.source§impl Lookup for ConstId
impl Lookup for ConstId
type Database<'db> = dyn DefDatabase + 'db
type Data = AssocItemLoc<Const>
fn lookup(&self, db: &Self::Database<'_>) -> AssocItemLoc<Const>
impl Copy for ConstId
impl Eq for ConstId
impl StructuralPartialEq for ConstId
Auto Trait Implementations§
impl Freeze for ConstId
impl RefUnwindSafe for ConstId
impl Send for ConstId
impl Sync for ConstId
impl Unpin for ConstId
impl UnwindSafe for ConstId
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
🔬This is a nightly-only experimental API. (
clone_to_uninit
)§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more