pub struct HirId {
pub owner: LocalDefId,
pub local_id: ItemLocalId,
}
Expand description
Uniquely identifies a node in the HIR of the current crate. It is
composed of the owner
, which is the LocalDefId
of the directly enclosing
hir::Item
, hir::TraitItem
, or hir::ImplItem
(i.e., the closest “item-like”),
and the local_id
which is unique within the given owner.
This two-level structure makes for more stable values: One can move an item
around within the source code, or add or remove stuff before it, without
the local_id
part of the HirId
changing, which is a very useful property in
incremental compilation where we have to persist things through changes to
the code base.
Fields
owner: LocalDefId
local_id: ItemLocalId
Implementations
sourceimpl HirId
impl HirId
pub fn expect_owner(self) -> LocalDefId
pub fn as_owner(self) -> Option<LocalDefId>
pub fn is_owner(self) -> bool
pub fn make_owner(owner: LocalDefId) -> Self
pub fn index(self) -> (usize, usize)
Trait Implementations
sourceimpl<__CTX> HashStable<__CTX> for HirIdwhere
__CTX: HashStableContext,
impl<__CTX> HashStable<__CTX> for HirIdwhere
__CTX: HashStableContext,
fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
sourceimpl Ord for HirId
impl Ord for HirId
1.21.0 · sourcefn max(self, other: Self) -> Self
fn max(self, other: Self) -> Self
1.21.0 · sourcefn min(self, other: Self) -> Self
fn min(self, other: Self) -> Self
1.50.0 · sourcefn clamp(self, min: Self, max: Self) -> Selfwhere
Self: PartialOrd<Self>,
fn clamp(self, min: Self, max: Self) -> Selfwhere
Self: PartialOrd<Self>,
sourceimpl PartialOrd<HirId> for HirId
impl PartialOrd<HirId> for HirId
sourcefn partial_cmp(&self, other: &Self) -> Option<Ordering>
fn partial_cmp(&self, other: &Self) -> Option<Ordering>
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
self
and other
) and is used by the <=
operator. Read moresourceimpl<HirCtx: HashStableContext> ToStableHashKey<HirCtx> for HirId
impl<HirCtx: HashStableContext> ToStableHashKey<HirCtx> for HirId
type KeyType = (DefPathHash, ItemLocalId)
fn to_stable_hash_key(&self, hcx: &HirCtx) -> (DefPathHash, ItemLocalId)
impl Copy for HirId
impl Eq for HirId
impl StructuralEq for HirId
impl StructuralPartialEq for HirId
Auto Trait Implementations
impl RefUnwindSafe for HirId
impl Send for HirId
impl Sync for HirId
impl Unpin for HirId
impl UnwindSafe for HirId
Blanket Implementations
sourceimpl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'a Arena<'tcx>) -> &'a mut T
fn allocate_from_iter(
arena: &'a Arena<'tcx>,
iter: impl IntoIterator<Item = T>
) -> &'a mut [T]ⓘNotable traits for &[u8]impl Read for &[u8]impl Write for &mut [u8]
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn 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: 8 bytes