pub struct ItemLocalId {
private_use_as_methods_instead: u32,
}
Expand description
An ItemLocalId
uniquely identifies something within a given “item-like”;
that is, within a hir::Item
, hir::TraitItem
, or hir::ImplItem
. There is no
guarantee that the numerical value of a given ItemLocalId
corresponds to
the node’s position within the owning item in any way, but there is a
guarantee that the ItemLocalId
s within an owner occupy a dense range of
integers starting at zero, so a mapping that maps all or most nodes within
an “item-like” to something else can be implemented by a Vec
instead of a
tree or hash map.
Fields§
§private_use_as_methods_instead: u32
Implementations§
Source§impl ItemLocalId
impl ItemLocalId
Sourcepub const MAX_AS_U32: u32 = 4_294_967_040u32
pub const MAX_AS_U32: u32 = 4_294_967_040u32
Maximum value the index can take, as a u32
.
Sourcepub const fn from_usize(value: usize) -> Self
pub const fn from_usize(value: usize) -> Self
Sourcepub const unsafe fn from_u32_unchecked(value: u32) -> Self
pub const unsafe fn from_u32_unchecked(value: u32) -> Self
Creates a new index from a given u32
.
§Safety
The provided value must be less than or equal to the maximum value for the newtype. Providing a value outside this range is undefined due to layout restrictions.
Prefer using from_u32
.
Source§impl ItemLocalId
impl ItemLocalId
Sourcepub const INVALID: ItemLocalId = ItemLocalId::MAX
pub const INVALID: ItemLocalId = ItemLocalId::MAX
Signal local id which should never be used.
Trait Implementations§
Source§impl Add<usize> for ItemLocalId
impl Add<usize> for ItemLocalId
Source§impl Clone for ItemLocalId
impl Clone for ItemLocalId
Source§fn clone(&self) -> ItemLocalId
fn clone(&self) -> ItemLocalId
Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moreSource§impl Debug for ItemLocalId
impl Debug for ItemLocalId
Source§impl From<ItemLocalId> for u32
impl From<ItemLocalId> for u32
Source§fn from(v: ItemLocalId) -> u32
fn from(v: ItemLocalId) -> u32
Source§impl From<ItemLocalId> for usize
impl From<ItemLocalId> for usize
Source§fn from(v: ItemLocalId) -> usize
fn from(v: ItemLocalId) -> usize
Source§impl From<u32> for ItemLocalId
impl From<u32> for ItemLocalId
Source§impl From<usize> for ItemLocalId
impl From<usize> for ItemLocalId
Source§impl Hash for ItemLocalId
impl Hash for ItemLocalId
Source§impl<__CTX> HashStable<__CTX> for ItemLocalIdwhere
__CTX: HashStableContext,
impl<__CTX> HashStable<__CTX> for ItemLocalIdwhere
__CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
Source§impl Idx for ItemLocalId
impl Idx for ItemLocalId
Source§impl Ord for ItemLocalId
impl Ord for ItemLocalId
Source§impl PartialEq for ItemLocalId
impl PartialEq for ItemLocalId
Source§impl PartialOrd for ItemLocalId
impl PartialOrd for ItemLocalId
Source§impl StableOrd for ItemLocalId
impl StableOrd for ItemLocalId
const CAN_USE_UNSTABLE_SORT: bool = true
Source§const THIS_IMPLEMENTATION_HAS_BEEN_TRIPLE_CHECKED: () = ()
const THIS_IMPLEMENTATION_HAS_BEEN_TRIPLE_CHECKED: () = ()
Ord
implementation obeys this trait’s contract.Source§impl Step for ItemLocalId
impl Step for ItemLocalId
Source§fn steps_between(start: &Self, end: &Self) -> Option<usize>
fn steps_between(start: &Self, end: &Self) -> Option<usize>
step_trait
)Source§fn forward_checked(start: Self, u: usize) -> Option<Self>
fn forward_checked(start: Self, u: usize) -> Option<Self>
step_trait
)Source§fn backward_checked(start: Self, u: usize) -> Option<Self>
fn backward_checked(start: Self, u: usize) -> Option<Self>
step_trait
)Source§fn forward(start: Self, count: usize) -> Self
fn forward(start: Self, count: usize) -> Self
step_trait
)Source§unsafe fn forward_unchecked(start: Self, count: usize) -> Self
unsafe fn forward_unchecked(start: Self, count: usize) -> Self
step_trait
)Source§fn backward(start: Self, count: usize) -> Self
fn backward(start: Self, count: usize) -> Self
step_trait
)Source§unsafe fn backward_unchecked(start: Self, count: usize) -> Self
unsafe fn backward_unchecked(start: Self, count: usize) -> Self
step_trait
)Source§impl<HirCtx: HashStableContext> ToStableHashKey<HirCtx> for ItemLocalId
impl<HirCtx: HashStableContext> ToStableHashKey<HirCtx> for ItemLocalId
type KeyType = ItemLocalId
fn to_stable_hash_key(&self, _: &HirCtx) -> ItemLocalId
impl Copy for ItemLocalId
impl Eq for ItemLocalId
impl StructuralPartialEq for ItemLocalId
Auto Trait Implementations§
impl DynSend for ItemLocalId
impl DynSync for ItemLocalId
impl Freeze for ItemLocalId
impl RefUnwindSafe for ItemLocalId
impl Send for ItemLocalId
impl Sync for ItemLocalId
impl Unpin for ItemLocalId
impl UnwindSafe for ItemLocalId
Blanket Implementations§
Source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T
fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]
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
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)
clone_to_uninit
)Source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§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>
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>
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> StableCompare for Twhere
T: StableOrd,
impl<T> StableCompare for Twhere
T: StableOrd,
const CAN_USE_UNSTABLE_SORT: bool = T::CAN_USE_UNSTABLE_SORT
fn stable_cmp(&self, other: &T) -> Ordering
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 4 bytes