control flow not showing up in async functions

[carolynzech]

Paralegal does not find f’s control flow influence on the g call site when async minimum is the controller, but it does when regular minimum is. Dumped MIR attached.

#[paralegal::marker(a)]
fn f(a: u32) -> Result<u32, &'static str> {
    if a == 7 {
        Ok(a)
    } else {
        Err("invalid number")
    }
}

#[paralegal::marker(b)]
fn g(b: u32) -> u32 {
    b
}

 async fn minimum() -> Result<u32, &'static str> {
     f(7)?;
     Ok(g(7))
}

fn minimum() -> Result<u32, &'static str> {
    f(7)?;
    Ok(g(7))

minimum_async.mir.gv.pdf
minimum_regular.mir.gv.pdf
main.txt