Skip to main content

trait_declaration

Function trait_declaration 

Source
pub fn trait_declaration(
    qualifiers: Vec<GeneratedToken>,
    name: GeneratedToken,
    parameters: Vec<Vec<GeneratedToken>>,
    supertraits: Vec<Vec<GeneratedToken>>,
    predicates: Vec<Vec<GeneratedToken>>,
    items: Vec<GeneratedToken>,
) -> Result<Vec<GeneratedToken>, Overflow>
Expand description

One trait declaration with exact qualifiers, parameters, supertraits, predicates and associated items.

Qualifiers are emitted exactly before trait, so an unsafe trait remains explicit caller authority.

ยงErrors

Returns Overflow where the associated-item body outgrows the declared generated-token magnitude.