willcrichton / flowistry

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
https://marketplace.visualstudio.com/items?itemName=wcrichton.flowistry
MIT License
1.88k stars 44 forks source link

Look into spurious control dependencies within async code #68

Closed willcrichton closed 1 year ago

willcrichton commented 1 year ago

Example:

async fn bar() -> i32 {
    0
}
async fn foo(w: i32) {
   let x = bar().await;
   let y = x + w;
   let z = bar().await;
}

z is said to depend on let x = bar().await. How come?

cc @JustusAdam