//@ edition: 2021
//@ check-pass

#![feature(async_fn_traits, unboxed_closures)]

fn bar<F, O>(_: F)
where
    F: AsyncFnOnce<(), CallOnceFuture = O>,
{
}

fn main() {
    bar(async move || {});
}