[−][src]Struct rustc_middle::traits::specialization_graph::LeafDef

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

Information about the most specialized definition of an associated item.

Fields

item: AssocItem

The associated item described by this LeafDef.

defining_node: Node

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

finalizing_node: Option<Node>

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).

Implementations

impl LeafDef[src]

pub fn is_final(&self) -> bool[src]

Returns whether this definition is known to not be further specializable.

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]

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

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

impl<'a, T> Captures<'a> for T where
    T: ?Sized, [src]

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

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

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

type Error = !

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.

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.

impl<T> WithConstness for T[src]