Struct rustc_hir::hir_id::ItemLocalId
source · pub struct ItemLocalId {
private: 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: 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
1.0.0 · 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§fn cmp(&self, other: &ItemLocalId) -> Ordering
fn cmp(&self, other: &ItemLocalId) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere Self: Sized,
source§impl PartialEq<ItemLocalId> for ItemLocalId
impl PartialEq<ItemLocalId> for ItemLocalId
source§fn eq(&self, other: &ItemLocalId) -> bool
fn eq(&self, other: &ItemLocalId) -> bool
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd<ItemLocalId> for ItemLocalId
impl PartialOrd<ItemLocalId> for ItemLocalId
source§fn partial_cmp(&self, other: &ItemLocalId) -> Option<Ordering>
fn partial_cmp(&self, other: &ItemLocalId) -> Option<Ordering>
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresource§impl StableOrd for ItemLocalId
impl StableOrd for ItemLocalId
const CAN_USE_UNSTABLE_SORT: bool = true
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 StructuralEq for ItemLocalId
impl StructuralPartialEq for ItemLocalId
impl TrustedStep for ItemLocalId
Auto Trait Implementations§
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<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a 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
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