Trait FutureAdditionalSpecFns Copy item path

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

Required Methods§

Implementors§