Struct rustc_hir::hir_id::HirId

pub struct HirId {
    pub owner: OwnerId,
    pub local_id: ItemLocalId,
}

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: OwnerId

local_id: ItemLocalId

Implementations

impl HirId

pub const INVALID: HirId = _

Signal local id which should never be used.

pub fn expect_owner(self) -> OwnerId

pub fn as_owner(self) -> Option<OwnerId>

pub fn is_owner(self) -> bool

pub fn make_owner(owner: LocalDefId) -> Self

pub fn index(self) -> (usize, usize)

Trait Implementations

impl Clone for HirId

fn clone(&self) -> HirId

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for HirId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<__D: Decoder> Decodable<__D> for HirId

fn decode(__decoder: &mut __D) -> Self

impl Display for HirId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<__E: Encoder> Encodable<__E> for HirId

fn encode(&self, __encoder: &mut __E)

impl From<OwnerId> for HirId

fn from(owner: OwnerId) -> HirId

Converts to this type from the input type.

impl Hash for HirId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
    H: Hasher,
    Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<__CTX> HashStable<__CTX> for HirIdwhere
    __CTX: HashStableContext,

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)

impl Ord for HirId

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere
    Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere
    Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere
    Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<HirId> for HirId

fn eq(&self, other: &HirId) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd<HirId> for HirId

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

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

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