#![feature(async_await)]

async fn foo<'a>(x: &'a i32) {
    println!("{}", x);
}

fn bar<F>(f: F)
where
    F: for<'a> Fn(&'a i32)
{
    let x = 7;
    f(&x);
}

fn main() {
    bar(foo);
}