Trait ExLowerExp 

pub trait ExLowerExp: PointeeSized {
    type ExternalTraitSpecificationFor: LowerExp;

    // Required methods
    spec fn fmt_req(&self, f: &Formatter<'_>) -> bool;
    exec fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>;
}

Required Associated Types

type ExternalTraitSpecificationFor: LowerExp

Required Methods

spec fn fmt_req(&self, f: &Formatter<'_>) -> bool

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

requires

self.fmt_req(f),

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors