Struct creusot_contracts::std::future::Pending

pub struct Pending<T> { /* private fields */ }

Creates a future which never resolves, representing a computation that never finishes.

This struct is created by pending(). See its documentation for more.

Trait Implementations

impl<T> Clone for Pending<T>

fn clone(&self) -> Pending<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T> Debug for Pending<T>

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

Formats the value using the given formatter.

impl<T> Future for Pending<T>

type Output = T

The type of value produced on completion.

fn poll(self: Pin<&mut Pending<T>>, _: &mut Context<'_>) -> Poll<T>

Attempt to resolve the future to a final value, registering the current task for wakeup if the value is not yet available.