Enum ItemSource

pub enum ItemSource {
    TopLevel,
    Closure {
        info: ClosureInfo,
    },
    TraitDecl {
        trait_ref: TraitDeclRef,
        item_name: TraitItemName,
        has_default: bool,
    },
    TraitImpl {
        impl_ref: TraitImplRef,
        trait_ref: TraitDeclRef,
        item_name: TraitItemName,
        reuses_default: bool,
    },
    VTableTy {
        dyn_predicate: DynPredicate,
    },
    VTableInstance {
        impl_ref: TraitImplRef,
    },
    VTableMethodShim,
}

Item kind: whether this function/const is part of a trait declaration, trait implementation, or neither.

Example:

trait Foo {
    fn bar(x : u32) -> u32; // trait item decl without default

    fn baz(x : bool) -> bool { x } // trait item decl with default
}

impl Foo for ... {
    fn bar(x : u32) -> u32 { x } // trait item implementation
}

fn test(...) { ... } // regular

impl Type {
    fn test(...) { ... } // regular
}

Variants

TopLevel

This item stands on its own.

Closure

This is a closure in a function body.

Fields

info: ClosureInfo

TraitDecl

This is an associated item in a trait declaration. It has a body if and only if the trait provided a default implementation.

Fields

trait_ref: TraitDeclRef

The trait declaration this item belongs to.

item_name: TraitItemName

The name of the item.

has_default: bool

Whether the trait declaration provides a default implementation.

TraitImpl

This is an associated item in a trait implementation.

Fields

impl_ref: TraitImplRef

The trait implementation the method belongs to.

trait_ref: TraitDeclRef

The trait declaration that the impl block implements.

item_name: TraitItemName

The name of the item

reuses_default: bool

True if the trait decl had a default implementation for this function/const and this item is a copy of the default item.

VTableTy

This is a vtable struct for a trait.

Fields

dyn_predicate: DynPredicate

The dyn Trait predicate implemented by this vtable.

VTableInstance

This is a vtable value for an impl.

Fields

impl_ref: TraitImplRef

VTableMethodShim

The method shim wraps a concrete implementation of a method into a function that takes dyn Trait as its Self type. This shim casts the receiver to the known concrete type and calls the real method.

Trait Implementations

impl AstVisitable for ItemSource

fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn name(&self) -> &'static str

The name of the type, used for debug logging.

fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

impl Clone for ItemSource

fn clone(&self) -> ItemSource

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ItemSource

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ItemSource

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'s, V> Drive<'s, V> for ItemSource

where V: Visitor + Visit<'s, ClosureInfo> + Visit<'s, TraitDeclRef> + Visit<'s, TraitImplRef> + Visit<'s, DynPredicate>,

fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveMut<'s, V> for ItemSource

where V: Visitor + VisitMut<'s, ClosureInfo> + VisitMut<'s, TraitDeclRef> + VisitMut<'s, TraitImplRef> + VisitMut<'s, DynPredicate>,

fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl PartialEq for ItemSource

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

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

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

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

impl Serialize for ItemSource

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ItemSource

impl StructuralPartialEq for ItemSource