Trait FutureAdditionalSpecFns 

pub trait FutureAdditionalSpecFns<T>: Future<Output = T> {
    // Required methods
    spec fn view(&self) -> T;
    spec fn awaited(&self) -> bool;
}

Required Methods

spec fn view(&self) -> T

spec fn awaited(&self) -> bool

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<V, T: Future<Output = V>> FutureAdditionalSpecFns<V> for T