Struct DefId

Source

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

Expand description

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: Node<DefIdContents>

Implementations§

Source §

impl DefId

Source

pub fn as_rust_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.

Source

pub fn underlying_rust_def_id(&self) -> RDefId

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

Source

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

Source

pub fn ancestry(&self) -> impl Iterator<Item = &Self>

Iterate over this element and its parents.

Source

pub fn path_item(&self) -> DisambiguatedDefPathItem

The PathItem corresponding to this item.

Source

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.

Source §

impl DefId

Source

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.

Source

pub fn full_def<'tcx, S, Body>(&self, s: &S) -> Arc<FullDef<Body>>
where Body: IsBody + TypeMappable, S: BaseState<'tcx>,

Get the full definition of this item.

Trait Implementations§

Source §

impl Clone for DefId

Source §

fn clone(&self) -> DefId

Returns a duplicate of the value. Read more

1.0.0 · Source§

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

Performs copy-assignment from source. Read more

Source §

impl Debug for DefId

Source §

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

Formats the value using the given formatter. Read more

Source §

impl<'de> Deserialize<'de> for DefId

Source §

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

Source §

impl From<DefId> for Path

Source §

fn from(v: DefId) -> Vec<String>

Converts to this type from the input type.

Source §

impl Hash for DefId

Source §

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

Feeds this value into the given Hasher. Read more

1.3.0 · Source§

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

Feeds a slice of this type into the given Hasher. Read more

Source §

impl JsonSchema for DefId

Source §

fn schema_name() -> String

The name of the generated JSON Schema. Read more

Source §

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type. Read more

Source §

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type. Read more

Source §

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword. Read more

Source §

impl Ord for DefId

Source §

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

This method returns an Ordering between self and other. Read more

1.21.0 · Source§

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

Compares and returns the maximum of two values. Read more

1.21.0 · Source§

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

Compares and returns the minimum of two values. Read more

1.50.0 · Source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

Restrict a value to a certain interval. Read more

Source §

impl PartialEq for DefId

Source §

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

Tests for self and other values to be equal, and is used by ==.

1.0.0 · Source§

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

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

Source §

impl PartialOrd for DefId

Source §

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

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

1.0.0 · Source§

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

Tests less than (for self and other) and is used by the < operator. Read more

1.0.0 · Source§

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

Tests less than or equal to (for self and other) and is used by the <= operator. Read more

1.0.0 · Source§

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

Tests greater than (for self and other) and is used by the > operator. Read more

1.0.0 · Source§

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

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more

Source §

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more

Source §

impl Deref for DefId

Source §

type Target = DefIdContents

The resulting type after dereferencing.

Source §

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

Dereferences the value.

Source §

impl Eq for DefId

Source §

impl StructuralPartialEq for DefId

Auto Trait Implementations§

§

impl Freeze for DefId

§

impl RefUnwindSafe for DefId

§

impl Send for DefId

§

impl Sync for DefId

§

impl Unpin for DefId

§

impl UnwindSafe for DefId

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

Source §

impl<T> CloneToUninit for T
where T: Clone,

Source §

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

Source §

impl<T> DynClone for T
where T: Clone,

Source §

fn __clone_box(&self, _: Private) -> *mut ()

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T> Instrument for T

Source §

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

Source §

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> IntoEither for T

Source §

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

impl<P, T> Receiver for P
where P: Deref<Target = T> + ?Sized, T: ?Sized,

Source §

type Target = T

🔬This is a nightly-only experimental API. (arbitrary_self_types)

The target type on which the method may be called.

Source §

impl<T> ToOwned for T
where T: Clone,

Source §

type Owned = T

The resulting type after obtaining ownership.

Source §

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

Source §

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

Source §

impl<T, U> TryFrom for T
where U: Into<T>,

Source §

type Error = Infallible

The type returned in the event of a conversion error.

Source §

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

Source §

impl<T, U> TryInto for T
where U: TryFrom<T>,

Source §

type Error = >::Error

The type returned in the event of a conversion error.

Source §

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Source §

impl<T> WithSubscriber for T

Source §

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

Source §

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

Source §

Struct DefIdCopy item path

Fields§

Implementations§

impl DefId

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

pub fn underlying_rust_def_id(&self) -> RDefId

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

pub fn ancestry(&self) -> impl Iterator<Item = &Self>

pub fn path_item(&self) -> DisambiguatedDefPathItem

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

impl DefId

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

pub fn full_def<'tcx, S, Body>(&self, s: &S) -> Arc<FullDef<Body>>where Body: IsBody + TypeMappable, S: BaseState<'tcx>,

Trait Implementations§

impl Clone for DefId

fn clone(&self) -> DefId

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

impl Debug for DefId

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

impl<'de> Deserialize<'de> for DefId

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

impl From<DefId> for Path

fn from(v: DefId) -> Vec<String>

impl Hash for DefId

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

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

impl JsonSchema for DefId

fn schema_name() -> String

fn schema_id() -> Cow<'static, str>

fn json_schema(generator: &mut SchemaGenerator) -> Schema

fn is_referenceable() -> bool

impl Ord for DefId

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

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

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

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

impl PartialEq for DefId

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

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

impl PartialOrd for DefId

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

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

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

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

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

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

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

impl<'tcx, S: UnderOwnerState<'tcx>> SInto<S, DefId> for LocalDefId

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

impl<'tcx, S: BaseState<'tcx>> SInto<S, DefId> for OwnerId

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

impl Serialize for DefId

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

impl Deref for DefId

type Target = DefIdContents

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

impl Eq for DefId

impl StructuralPartialEq for DefId

Auto Trait Implementations§

impl Freeze for DefId

impl RefUnwindSafe for DefId

impl Send for DefId

impl Sync for DefId

impl Unpin for DefId

impl UnwindSafe for DefId

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> DynClone for Twhere T: Clone,

fn __clone_box(&self, _: Private) -> *mut ()

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

Struct DefId

pub fn full_def<'tcx, S, Body>(&self, s: &S) -> Arc<FullDef<Body>>
where Body: IsBody + TypeMappable, S: BaseState<'tcx>,

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

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

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

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

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T> DynClone for T
where T: Clone,

impl<T, U> Into<U> for T
where U: From<T>,

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<P, T> Receiver for P
where P: Deref<Target = T> + ?Sized, T: ?Sized,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,