Enum charon_lib::ast::gast::ItemKind

pub enum ItemKind {
    Regular,
    TraitDecl {
        trait_id: TraitDeclId,
        item_name: TraitItemName,
        has_default: bool,
    },
    TraitImpl {
        impl_id: TraitImplId,
        trait_id: TraitDeclId,
        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_id: TraitDeclId

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_id: TraitImplId

The trait implementation the method belongs to

trait_id: TraitDeclId

The trait declaration this item belongs to.

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 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 Drive for ItemKind

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for ItemKind

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

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