Struct DefId 

pub struct DefId {
    pub(crate) contents: HashConsed<DefIdContents>,
}

Reflects rustc_hir::def_id::DefId, augmented to also give ids to promoted constants (which have their own ad-hoc numbering scheme in rustc for now).

Fields

contents: HashConsed<DefIdContents>

Implementations

impl DefId

pub fn as_real_def_id(&self) -> Option<RDefId>

The rustc def_id corresponding to this item, if there is one. Promoted constants don’t have a rustc def_id.

pub fn real_rust_def_id(&self) -> RDefId

The rustc def_id of this item. Panics if this is not a real rustc item.

pub fn as_real_or_promoted(&self) -> Option<RDefId>

The def_id of this item or its parent if this is a promoted constant.

pub fn promoted_id(&self) -> Option<PromotedId>

pub fn as_synthetic<'tcx>( &self, _s: &impl BaseState<'tcx>, ) -> Option<SyntheticItem>

Returns the SyntheticItem encoded by this hax DefId, if any.

pub fn is_local(&self) -> bool

pub fn is_typeck_child<'tcx>(&self, s: &impl BaseState<'tcx>) -> bool

fn make<'tcx, S: BaseState<'tcx>>(s: &S, def_id: RDefId) -> Self

pub fn make_synthetic<'tcx, S: BaseState<'tcx>>( s: &S, synthetic: SyntheticItem, ) -> Self

pub fn make_promoted_child<'tcx, S: BaseState<'tcx>>( &self, s: &S, promoted_id: PromotedId, ) -> Self

Construct a hax DefId for the nth promoted constant of the current item. That DefId has no corresponding rustc DefId.

pub fn make_assoc_item_impl<'tcx, S: BaseState<'tcx>>( s: &S, vitem: VirtualImplAssocItem, ) -> Self

pub fn make_anon_alloc<'tcx, S: BaseState<'tcx>>( s: &S, alloc_id: RAllocId, ) -> Self

The global standing for an anonymous allocation.

impl DefId

fn crate_name_and_disambig<'tcx>( &self, s: &impl BaseState<'tcx>, ) -> (Symbol, u32)

pub fn crate_name<'tcx>(&self, s: &impl BaseState<'tcx>) -> Symbol

pub fn def_span<'tcx>(&self, s: &impl BaseState<'tcx>) -> Span

Get the span of the definition of this item. This is the span used in diagnostics when referring to the item.

pub fn path_item<'tcx>( &self, s: &impl BaseState<'tcx>, ) -> DisambiguatedDefPathItem

The PathItem corresponding to this item.

pub fn parent<'tcx>(&self, s: &impl BaseState<'tcx>) -> Option<DefId>

impl DefId

pub fn can_have_generics<'tcx>(&self, s: &impl BaseState<'tcx>) -> bool

pub fn generics_of<'tcx>(&self, s: &impl BaseState<'tcx>) -> &'tcx Generics

pub fn identity_args<'tcx>( &self, s: &impl BaseState<'tcx>, ) -> GenericArgsRef<'tcx>

pub fn param_env<'tcx>(&self, s: &impl BaseState<'tcx>) -> ParamEnv<'tcx>

pub fn typing_env<'tcx>(&self, s: &impl BaseState<'tcx>) -> TypingEnv<'tcx>

pub fn required_predicates<'tcx, S: BaseState<'tcx>>( &self, s: &S, ) -> ItemPredicates<'tcx, Self>

pub fn type_of<'tcx, S: BaseState<'tcx>>( &self, s: &S, ) -> EarlyBinder<'tcx, Ty<'tcx>>

impl DefId

pub fn visibility<'tcx>(&self, tcx: TyCtxt<'tcx>) -> Option<bool>

Gets the visibility (pub or not) of the definition. Returns None for defs that don’t have a meaningful visibility.

pub fn attrs<'tcx>(&self, tcx: TyCtxt<'tcx>) -> &'tcx [Attribute]

Gets the attributes of the definition.

impl DefId

pub fn full_def<'tcx, S>(&self, s: &S) -> Arc<FullDef<'tcx>>

where S: BaseState<'tcx>,

Get the full definition of this item.

pub fn full_def_maybe_instantiated<'tcx, S>( &self, s: &S, args: Option<GenericArgsRef<'tcx>>, ) -> Arc<FullDef<'tcx>>

where S: BaseState<'tcx>,

Get the full definition of this item, instantiated if args is Some.

Trait Implementations

impl Clone for DefId

fn clone(&self) -> DefId

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DefId

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

Formats the value using the given formatter.

impl Deref for DefId

type Target = DefIdContents

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl Eq for DefId

impl Hash for DefId

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 ItemId for DefId

type State<'tcx> = State<'tcx, ()>

State needed to query information about this item.

fn from_rust_def_id<'tcx>(s: &Self::State<'tcx>, def_id: RDefId) -> Self

An identifier that refers to a real Rust item.

fn generics_of<'tcx>(&self, s: &Self::State<'tcx>) -> &'tcx Generics

The generics of this item.

fn param_env<'tcx>(&self, s: &Self::State<'tcx>) -> ParamEnv<'tcx>

The clauses that can be assumed when inside this item.

fn predicates_defined_on<'tcx>( &self, s: &Self::State<'tcx>, direction: PredicateDirection, ) -> ItemPredicates<'tcx, Self>

The predicates defined directly on this item.

fn self_pred<'tcx>(&self, s: &Self::State<'tcx>) -> Option<PolyTraitRef<'tcx>>

If this item is a trait, return its Self predicate.

fn as_identity_assoc_ty<'tcx>(&self, s: &Self::State<'tcx>) -> Option<Ty<'tcx>>

The type of this item as an associated type projection, if it is a trait associated type.

fn typeck_parent<'tcx>(&self, s: &Self::State<'tcx>) -> Option<Self>

If this item is typechecked together with its parent (e.g. inline consts and closures), return that parent.

fn parent_of_assoc<'tcx>(&self, s: &Self::State<'tcx>) -> Option<Self>

If this item is an associated item, return its parent.

fn parent_for_clauses<'tcx>(&self, s: &Self::State<'tcx>) -> Option<Self>

If this item inherits the clauses of its parent, return the parent.

fn takes_explicit_self_clause<'tcx>(&self, s: &Self::State<'tcx>) -> bool

Whether this item takes an explicit Self: Trait clause or whether it is allowed to refer to the ambiant one. Only relevant for associated items.

fn find_in_impl<'tcx>( &self, s: &Self::State<'tcx>, trait_impl: &Self, ) -> Option<Self>

If this item is an associated item definition, and the given impl implements it, returns the implemented associated item.

impl PartialEq for DefId

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

Equality operator ==.

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

Inequality operator !=.

impl<'s, S: BaseState<'s>> SInto<S, DefId> for DefId

fn sinto(&self, s: &S) -> DefId

impl<S> SInto<S, DefId> for DefId

fn sinto(&self, _s: &S) -> DefId

impl StructuralPartialEq for DefId