blob: c69605b4c22e06cfb21ccca3c63a939142439c2f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
//@ run-rustfix
//@ edition: 2021
#![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() {}
|