about summary refs log tree commit diff
path: root/tests/ui/async-await/async-fn/higher-ranked-async-fn.rs
blob: ac8e0d7c63e0fae6990fc009bef50193eb40cfd1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
//@ aux-build:block-on.rs
//@ edition:2018
//@ revisions: current next
//@ ignore-compare-mode-next-solver (explicit revisions)
//@[next] compile-flags: -Znext-solver
//@ build-pass (since it ICEs during mono)

extern crate block_on;

use std::future::Future;

async fn f(arg: &i32) {}

async fn func<F>(f: F)
where
    F: for<'a> AsyncFn(&'a i32),
{
    let x: i32 = 0;
    f(&x).await;
}

fn main() {
    block_on::block_on(async {
        // Function
        func(f).await;

        // Regular closure (doesn't capture)
        func(|x: &i32| async {});
    });
}