Enum ResolvedDefId 

pub enum ResolvedDefId {
    Local(LocalDefId),
    ExternSpec(LocalDefId, DefId),
    Extern(DefId),
}

Normally, a DefId is either local or external, and DefId::as_local can be used to distinguish between the two. However, extern specs introduce a third case: a local definition wrapping an extern spec. This enum is a type level reminder used to differentiate between these three cases.

The construction of ResolvedDefId is not encapsulated, but it is recommended to use GlobalEnv::resolve_id to create one.

This is used when we are given a DefId and we need to resolve it into one of these three cases. For handling local items that may correspond to an extern spec, see MaybeExternId.

Variants

Local(LocalDefId)

A local definition. Corresponds to MaybeExternId::Local.

ExternSpec(LocalDefId, DefId)

A “dummy” local definition wrapping an extern spec. The LocalDefId is for the local item, and the DefId is the resolved id for the external spec. Corresponds to MaybeExternId::Extern.

Extern(DefId)

An external definition with no corresponding (local) extern spec.

Implementations

impl ResolvedDefId

pub fn as_maybe_extern(self) -> Option<MaybeExternId>

Trait Implementations

impl Clone for ResolvedDefId

fn clone(&self) -> ResolvedDefId

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedDefId

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

Formats the value using the given formatter.

impl Copy for ResolvedDefId