LANGUAGE · VERIFIED

Async

async fn fetch_data() -> int {
    return 42;
}

async fn main_async() -> int {
    return await fetch_data();
}

Verified

• async fn
• await
• Future values
• Multiple awaits
• Local values across await
• delay()
• Async loops
• Channels, send, and recv
• Bounded channels
• Completion-order scenarios

Limits

Full scheduler semantics, guaranteed CPU parallelism, cancellation, complete Future error propagation, and a complete inter-task memory model are not established.