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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
//@ compile-flags: -Zverbose-internals
// Same as: tests/ui/coroutine/issue-68112.stderr
#![feature(coroutines, coroutine_trait, stmt_expr_attributes)]
use std::{
cell::RefCell,
sync::Arc,
pin::Pin,
ops::{Coroutine, CoroutineState},
};
pub struct Ready<T>(Option<T>);
impl<T: Unpin> Coroutine<()> for Ready<T> {
type Return = T;
type Yield = ();
fn resume(mut self: Pin<&mut Self>, _args: ()) -> CoroutineState<(), T> {
CoroutineState::Complete(self.0.take().unwrap())
}
}
pub fn make_gen1<T>(t: T) -> Ready<T> {
Ready(Some(t))
}
fn require_send(_: impl Send) {}
fn make_non_send_coroutine() -> impl Coroutine<Return = Arc<RefCell<i32>>> {
make_gen1(Arc::new(RefCell::new(0)))
}
fn test1() {
let send_gen = #[coroutine] || {
let _non_send_gen = make_non_send_coroutine();
yield;
};
require_send(send_gen);
//~^ ERROR coroutine cannot be sent between threads
}
pub fn make_gen2<T>(t: T) -> impl Coroutine<Return = T> {
#[coroutine] || {
yield;
t
}
}
fn make_non_send_coroutine2() -> impl Coroutine<Return = Arc<RefCell<i32>>> {
make_gen2(Arc::new(RefCell::new(0)))
}
fn test2() {
let send_gen = #[coroutine] || {
let _non_send_gen = make_non_send_coroutine2();
yield;
};
require_send(send_gen);
//~^ ERROR `RefCell<i32>` cannot be shared between threads safely
}
fn main() {}
|
