about summary refs log tree commit diff
path: root/tests/ui/async-await/async-fn/higher-ranked-async-fn.rs
blob: 5680c05773765bd398942cab7df65d7f8c304b8e (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
31
//@ aux-build:block-on.rs
//@ edition:2018
//@ revisions: current next
//@[next] compile-flags: -Znext-solver
//@ build-pass (since it ICEs during mono)

#![feature(async_closure)]

extern crate block_on;

use std::future::Future;

async fn f(arg: &i32) {}

async fn func<F>(f: F)
where
    F: async for<'a> Fn(&'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 {});
    });
}