Function creusot_contracts::std::future::pending

pub fn pending<T>() -> Pending<T> 

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

Examples

use std::future;

let future = future::pending();
let () = future.await;
unreachable!();