blob: 2f941d65591257c02c93c47578ff71ecc4637a1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
//@compile-flags: --diagnostic-width=300
// gate-test-coroutine_clone
// Verifies that static coroutines cannot be cloned/copied.
// This is important: the cloned coroutine would reference state of the original
// coroutine, leading to semantic nonsense.
#![feature(coroutines, coroutine_clone, stmt_expr_attributes)]
fn main() {
let generator = #[coroutine]
static move || {
yield;
};
check_copy(&generator);
//~^ ERROR Copy` is not satisfied
check_clone(&generator);
//~^ ERROR Clone` is not satisfied
}
fn check_copy<T: Copy>(_x: &T) {}
fn check_clone<T: Clone>(_x: &T) {}
|
