Trait UpperHexSpec 

pub trait UpperHexSpec: PointeeSized + UpperHex {
    // Required method
    spec fn fmt_req(&self, f: &Formatter<'_>) -> bool;
}

Required Methods

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

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<VERUS_SPEC__A: UpperHex + PointeeSized> UpperHexSpec for VERUS_SPEC__A