Trait creusot_contracts::std::future::AsyncDrop

pub trait AsyncDrop {
    type Dropper<'a>: Future<Output = ()>
       where Self: 'a;

    // Required method
    fn async_drop(self: Pin<&mut Self>) -> Self::Dropper<'_>;
}

🔬This is a nightly-only experimental API. (async_drop)

Custom code within the asynchronous destructor.

Required Associated Types

type Dropper<'a>: Future<Output = ()> where Self: 'a

🔬This is a nightly-only experimental API. (async_drop)

A future returned by the AsyncDrop::async_drop to be part of the async destructor.

Required Methods

fn async_drop(self: Pin<&mut Self>) -> Self::Dropper<'_>

🔬This is a nightly-only experimental API. (async_drop)

Constructs the asynchronous destructor for this type.

Object Safety

This trait is not object safe.

Implementors