Enum ItemKind

pub enum ItemKind {
    Regular,
    TraitDecl {
        trait_ref: TraitDeclRef,
        item_name: TraitItemName,
        has_default: bool,
    },
    TraitImpl {
        impl_ref: TraitImplRef,
        trait_ref: TraitDeclRef,
        item_name: TraitItemName,
        reuses_default: bool,
    },
}

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

Regular

A function/const at the top level or in an inherent impl block.

TraitDecl

Function/const that is part of 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

Function/const that is part of 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.

Trait Implementations

impl AstVisitable for ItemKind

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 ItemKind

fn clone(&self) -> ItemKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ItemKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ItemKind

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 ItemKind

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

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 ItemKind

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

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 ItemKind

fn eq(&self, other: &ItemKind) -> 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 ItemKind

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 ItemKind

impl StructuralPartialEq for ItemKind