How Rust optimizes async/await