Trait FutureSpecImpl 

pub trait FutureSpecImpl: Future {
    // Required methods
    exec fn obeys_future_laws(&self) -> bool;
    exec fn view(&self) -> Self::Output;
}

Required Methods

exec fn obeys_future_laws(&self) -> bool

Whether this future obeys the specification below on poll, so that awaiting it returns view().

exec fn view(&self) -> Self::Output

The value that awaiting this future will return.

Dyn Compatibility

This trait is dyn compatible.

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

Implementors