Enum TraitItem 

pub enum TraitItem {
    Required(FunctionSig),
    Provided(Function),
    AssocType {
        docs: Vec<Spanned<String>>,
        name: Spanned<String>,
        bounds: Vec<Spanned<Path>>,
    },
}

An item inside a trait body.

Variants

Required(FunctionSig)

A required method (signature only).

Provided(Function)

A provided method (with default body).

AssocType

An associated type declaration: type Item.

bounds is parsed (type Item: Display) but not supported — nova-typeck reports E0900 for a non-empty list, the same way a where clause on a trait is parsed here and rejected there. Parsing it gives a precise span and a real diagnostic instead of a syntax error.

Fields

docs: Vec<Spanned<String>>

The /// lines before it, as on the items above.

name: Spanned<String>

bounds: Vec<Spanned<Path>>

Trait Implementations

impl Clone for TraitItem

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TraitItem

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

Formats the value using the given formatter.