tests/ui/traits/new-solver/async.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

// compile-flags: -Ztrait-solver=next
// edition: 2021
// revisions: pass fail
//[pass] check-pass

use std::future::Future;

fn needs_async(_: impl Future<Output = i32>) {}

#[cfg(fail)]
fn main() {
    needs_async(async {});
    //[fail]~^ ERROR to be a future that resolves to `i32`, but it resolves to `()`
}

#[cfg(pass)]
fn main() {
    needs_async(async { 1i32 });
}