On: How to think about async/await in Rust

[gpderetta]

No. All synchronization edges are implied by the thread creation and join. Same as for the async/await example.