pub struct ItemLocalId {
    pub(crate) 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 ItemLocalIds 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: u32Implementations§
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 MAX: ItemLocalId
 
pub const MAX: ItemLocalId
Maximum value the index can take.
Sourcepub const ZERO: ItemLocalId
 
pub const ZERO: ItemLocalId
Zero value of the index.
Sourcepub const fn from_usize(value: usize) -> ItemLocalId
 
pub const fn from_usize(value: usize) -> ItemLocalId
Sourcepub const fn from_u32(value: u32) -> ItemLocalId
 
pub const fn from_u32(value: u32) -> ItemLocalId
Sourcepub const fn from_u16(value: u16) -> ItemLocalId
 
pub const fn from_u16(value: u16) -> ItemLocalId
Sourcepub const unsafe fn from_u32_unchecked(value: u32) -> ItemLocalId
 
pub const unsafe fn from_u32_unchecked(value: u32) -> ItemLocalId
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§type Output = ItemLocalId
 
type Output = ItemLocalId
+ operator.Source§impl AddAssign<usize> for ItemLocalId
 
impl AddAssign<usize> for ItemLocalId
Source§fn add_assign(&mut self, other: usize)
 
fn add_assign(&mut self, other: usize)
+= operation. Read moreSource§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<D> Decodable<D> for ItemLocalIdwhere
    D: Decoder,
 
impl<D> Decodable<D> for ItemLocalIdwhere
    D: Decoder,
fn decode(d: &mut D) -> ItemLocalId
Source§impl From<u32> for ItemLocalId
 
impl From<u32> for ItemLocalId
Source§fn from(value: u32) -> ItemLocalId
 
fn from(value: u32) -> ItemLocalId
Source§impl From<usize> for ItemLocalId
 
impl From<usize> for ItemLocalId
Source§fn from(value: usize) -> ItemLocalId
 
fn from(value: usize) -> 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<SipHasher128>, )
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 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: &ItemLocalId,
    end: &ItemLocalId,
) -> (usize, Option<usize>)
 
fn steps_between( start: &ItemLocalId, end: &ItemLocalId, ) -> (usize, Option<usize>)
step_trait)start to end
like Iterator::size_hint(). Read moreSource§fn forward_checked(start: ItemLocalId, u: usize) -> Option<ItemLocalId>
 
fn forward_checked(start: ItemLocalId, u: usize) -> Option<ItemLocalId>
step_trait)Source§fn backward_checked(start: ItemLocalId, u: usize) -> Option<ItemLocalId>
 
fn backward_checked(start: ItemLocalId, u: usize) -> Option<ItemLocalId>
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<CTX> ToStableHashKey<CTX> for ItemLocalIdwhere
    CTX: HashStableContext,
 
impl<CTX> ToStableHashKey<CTX> for ItemLocalIdwhere
    CTX: HashStableContext,
type KeyType = ItemLocalId
fn to_stable_hash_key(&self, _: &CTX) -> 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§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§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<I, T> IntoSliceIdx<I, [T]> for Iwhere
    I: Idx,
 
impl<I, T> IntoSliceIdx<I, [T]> for Iwhere
    I: Idx,
type Output = usize
fn into_slice_idx(self) -> <I as IntoSliceIdx<I, [T]>>::Output
Source§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<T> ErasedDestructor for Twhere
    T: 'static,
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