Function kani::futures::yield_now

source ·
pub fn yield_now() -> impl Future<Output = ()>
Expand description

Suspends execution of the current future, to allow the scheduler to poll another future

Specifically, it returns a future that isn’t ready until the second time it is polled.