blob: 33c00587439704a9be6f9fbfcba1224cfe53b8c8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// run-rustfix
// edition: 2021
#![feature(async_fn_in_trait, return_position_impl_trait_in_trait)]
#![allow(unused)]
trait Foo {
fn test() -> impl std::future::Future<Output = ()> + Send { async {} }
fn test2() -> impl std::future::Future<Output = i32> + Send {async { 1 + 2 } }
}
fn bar<T: Foo>() {
fn needs_send(_: impl Send) {}
needs_send(T::test());
//~^ ERROR `impl Future<Output = ()>` cannot be sent between threads safely
needs_send(T::test2());
//~^ ERROR `impl Future<Output = i32>` cannot be sent between threads safely
}
fn main() {}
|