Struct TraitImpl 

pub struct TraitImpl<Mods, TypeVars, Trait, Recv, Where, Body> {
    pub mods: Mods,
    pub type_variables: TypeVars,
    pub the_trait: Trait,
    pub receiver: Recv,
    pub where_conds: Where,
    pub body: Body,
}

The implementation declaration for a trait, applying to a certain receiver.

Fields

mods: Mods

The modifiers on the impl block. Set to NoOpSeq for none, or use SingularSeq(ModUnsafe) to generate an unsafe impl.

type_variables: TypeVars

The type variables to use for the impl block itself. All type variables that appear later on the trait or the receiver must be declared here, per Rust language rules.

This field must be a sequence.

the_trait: Trait

The trait being implemented

receiver: Recv

The receiver for which it is implemented

where_conds: Where

The “where” conditions. Must be a sequence. Set to NoOpSeq to disable. Will render as where C1, C2, C3, ... where CX is a value in the sequence.

body: Body

The body. Use NoOp if none exists.

Trait Implementations

impl<Mods, TypeVars, Trait, Recv, Where, Body> CanHaveAttributes for TraitImpl<Mods, TypeVars, Trait, Recv, Where, Body>

fn with_attributes<Attr>(self, attr: Attr) -> WithAttributes<Attr, Self>

Adds attributes to this writable

impl<Mods: Clone, TypeVars: Clone, Trait: Clone, Recv: Clone, Where: Clone, Body: Clone> Clone for TraitImpl<Mods, TypeVars, Trait, Recv, Where, Body>

fn clone(&self) -> TraitImpl<Mods, TypeVars, Trait, Recv, Where, Body>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Mods: Debug, TypeVars: Debug, Trait: Debug, Recv: Debug, Where: Debug, Body: Debug> Debug for TraitImpl<Mods, TypeVars, Trait, Recv, Where, Body>

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

Formats the value using the given formatter.

impl<O, Mods, TypeVars, Trait, Recv, Where, Body> Writable<O> for TraitImpl<Mods, TypeVars, Trait, Recv, Where, Body>

where O: Output, Mods: WritableSeq<O>, TypeVars: WritableSeq<O>, Trait: Writable<O>, Recv: Writable<O>, Where: WritableSeq<O>, Body: Writable<O>,

async fn write_to(&self, o: &mut O) -> Result<(), O::Error>

Writes to the output. Returns the output’s error upon failure.