2020-08-01 11:29:21 -05:00
|
|
|
// edition:2018
|
2022-10-01 05:19:31 -05:00
|
|
|
// revisions: no_drop_tracking drop_tracking drop_tracking_mir
|
|
|
|
// [drop_tracking] compile-flags: -Zdrop-tracking
|
|
|
|
// [drop_tracking_mir] compile-flags: -Zdrop-tracking-mir
|
2020-08-01 11:29:21 -05:00
|
|
|
// #70935: Check if we do not emit snippet
|
|
|
|
// with newlines which lead complex diagnostics.
|
|
|
|
|
|
|
|
use std::future::Future;
|
2023-06-10 18:05:07 -05:00
|
|
|
use std::marker::PhantomData;
|
|
|
|
|
|
|
|
#[derive(Clone)]
|
|
|
|
struct NotSync(PhantomData<*mut ()>);
|
|
|
|
unsafe impl Send for NotSync {}
|
2020-08-01 11:29:21 -05:00
|
|
|
|
|
|
|
async fn baz<T>(_c: impl FnMut() -> T) where T: Future<Output=()> {
|
|
|
|
}
|
|
|
|
|
2023-06-10 18:05:07 -05:00
|
|
|
fn foo(x: NotSync) -> impl Future + Send {
|
2022-09-13 16:38:28 -05:00
|
|
|
//[no_drop_tracking]~^ ERROR future cannot be sent between threads safely
|
2023-06-10 18:05:07 -05:00
|
|
|
//[drop_tracking,drop_tracking_mir]~^^ ERROR `*mut ()` cannot be shared between threads
|
2020-08-01 11:29:21 -05:00
|
|
|
async move {
|
2023-06-10 18:05:07 -05:00
|
|
|
baz(|| async {
|
|
|
|
foo(x.clone());
|
2020-08-01 11:29:21 -05:00
|
|
|
}).await;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn bar(_s: impl Future + Send) {
|
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
2023-06-10 18:05:07 -05:00
|
|
|
let x = NotSync(PhantomData);
|
|
|
|
bar(foo(x));
|
2020-08-01 11:29:21 -05:00
|
|
|
}
|