Struct hir_def::ConstBlockId
source · pub struct ConstBlockId(/* private fields */);
Expand description
Id of the anonymous const block expression and patterns. This is very similar to ClosureId
and
shouldn’t be a DefWithBodyId
since its type inference is dependent on its parent.
Trait Implementations§
source§impl Clone for ConstBlockId
impl Clone for ConstBlockId
source§fn clone(&self) -> ConstBlockId
fn clone(&self) -> ConstBlockId
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for ConstBlockId
impl Debug for ConstBlockId
source§impl From<ConstBlockId> for GeneralConstId
impl From<ConstBlockId> for GeneralConstId
source§fn from(it: ConstBlockId) -> GeneralConstId
fn from(it: ConstBlockId) -> GeneralConstId
Converts to this type from the input type.
source§impl Hash for ConstBlockId
impl Hash for ConstBlockId
source§impl InternKey for ConstBlockId
impl InternKey for ConstBlockId
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 ConstBlockId
impl Lookup for ConstBlockId
type Database<'db> = dyn DefDatabase + 'db
type Data = ConstBlockLoc
fn lookup(&self, db: &Self::Database<'_>) -> ConstBlockLoc
source§impl PartialEq for ConstBlockId
impl PartialEq for ConstBlockId
impl Copy for ConstBlockId
impl Eq for ConstBlockId
impl StructuralPartialEq for ConstBlockId
Auto Trait Implementations§
impl Freeze for ConstBlockId
impl RefUnwindSafe for ConstBlockId
impl Send for ConstBlockId
impl Sync for ConstBlockId
impl Unpin for ConstBlockId
impl UnwindSafe for ConstBlockId
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