Type Alias hax_frontend_exporter::GlobalIdent

pub type GlobalIdent = DefId;

Aliased Type

struct GlobalIdent {
    pub krate: String,
    pub path: Vec<DisambiguatedDefPathItem>,
    pub index: (u32, u32),
    pub is_local: bool,
}

Fields

krate: String

path: Vec<DisambiguatedDefPathItem>

index: (u32, u32)

Rustc’s CrateNum and DefIndex raw indexes. This can be useful if one needs to convert a DefId into a rustc_hir::def_id::DefId; there is a From instance for that purpose.

Warning: this index field might not be safe to use. They are valid only for one Rustc sesssion. Please do not rely on those indexes unless you cannot do otherwise.

is_local: bool