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,
    },
}

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

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