Struct rustc_trait_selection::traits::specialize::specialization_graph::LeafDef[−][src]

pub struct LeafDef {
    pub item: AssocItem,
    pub defining_node: Node,
    pub finalizing_node: Option<Node>,
}
Expand description

Information about the most specialized definition of an associated item.

Fields

item: AssocItem
Expand description

The associated item described by this LeafDef.

defining_node: Node
Expand description

The node in the specialization graph containing the definition of item.

finalizing_node: Option<Node>
Expand description

The “top-most” (ie. least specialized) specialization graph node that finalized the definition of item.

Example:

trait Tr {
    fn assoc(&self);
}

impl<T> Tr for T {
    default fn assoc(&self) {}
}

impl Tr for u8 {}

If we start the leaf definition search at impl Tr for u8, that impl will be the finalizing_node, while defining_node will be the generic impl.

If the leaf definition search is started at the generic impl, finalizing_node will be None, since the most specialized impl we found still allows overriding the method (doesn’t finalize it).

Auto Trait Implementations

impl RefUnwindSafe for LeafDef

impl !Send for LeafDef

impl !Sync for LeafDef

impl Unpin for LeafDef

impl UnwindSafe for LeafDef

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<T> WithConstness for T[src]

fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>[src]

fn with_const(self) -> ConstnessAnd<Self>[src]

fn without_const(self) -> ConstnessAnd<Self>[src]