Understanding Futurelock in Rust Programming: How It Defeats Local Reasoning About Correctness

Like async cancellation (see [rfd397]), futurelock defeats Rust’s goal of being able to reason locally about correctness. If we look at the pieces involved in our example