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.