diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-10-20 10:11:10 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-10-20 21:14:02 +0000 |
| commit | 5c1872d7ae10193ec41075c7ebc21bd43a236f53 (patch) | |
| tree | 80ab2149a50bcdd60e584d789d6bbe8f5503ad50 /tests/ui/coroutine/clone-impl-async.rs | |
| parent | af93c20c06ec1f577f0544aaf98403a5d9ff143c (diff) | |
| download | rust-5c1872d7ae10193ec41075c7ebc21bd43a236f53.tar.gz rust-5c1872d7ae10193ec41075c7ebc21bd43a236f53.zip | |
Rename `generator` folder
Diffstat (limited to 'tests/ui/coroutine/clone-impl-async.rs')
| -rw-r--r-- | tests/ui/coroutine/clone-impl-async.rs | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/tests/ui/coroutine/clone-impl-async.rs b/tests/ui/coroutine/clone-impl-async.rs new file mode 100644 index 00000000000..e8e82f1994d --- /dev/null +++ b/tests/ui/coroutine/clone-impl-async.rs @@ -0,0 +1,70 @@ +// edition:2021 +// gate-test-coroutine_clone +// Verifies that feature(coroutine_clone) doesn't allow async blocks to be cloned/copied. + +#![feature(coroutines, coroutine_clone)] + +use std::future::ready; + +struct NonClone; + +fn main() { + let inner_non_clone = async { + let non_clone = NonClone; + let () = ready(()).await; + drop(non_clone); + }; + check_copy(&inner_non_clone); + //~^ ERROR : Copy` is not satisfied + check_clone(&inner_non_clone); + //~^ ERROR : Clone` is not satisfied + + let non_clone = NonClone; + let outer_non_clone = async move { + drop(non_clone); + }; + check_copy(&outer_non_clone); + //~^ ERROR : Copy` is not satisfied + check_clone(&outer_non_clone); + //~^ ERROR : Clone` is not satisfied + + let maybe_copy_clone = async move {}; + check_copy(&maybe_copy_clone); + //~^ ERROR : Copy` is not satisfied + check_clone(&maybe_copy_clone); + //~^ ERROR : Clone` is not satisfied + + let inner_non_clone_fn = the_inner_non_clone_fn(); + check_copy(&inner_non_clone_fn); + //~^ ERROR : Copy` is not satisfied + check_clone(&inner_non_clone_fn); + //~^ ERROR : Clone` is not satisfied + + let outer_non_clone_fn = the_outer_non_clone_fn(NonClone); + check_copy(&outer_non_clone_fn); + //~^ ERROR : Copy` is not satisfied + check_clone(&outer_non_clone_fn); + //~^ ERROR : Clone` is not satisfied + + let maybe_copy_clone_fn = the_maybe_copy_clone_fn(); + check_copy(&maybe_copy_clone_fn); + //~^ ERROR : Copy` is not satisfied + check_clone(&maybe_copy_clone_fn); + //~^ ERROR : Clone` is not satisfied +} + +async fn the_inner_non_clone_fn() { + let non_clone = NonClone; + let () = ready(()).await; + drop(non_clone); +} + +async fn the_outer_non_clone_fn(non_clone: NonClone) { + let () = ready(()).await; + drop(non_clone); +} + +async fn the_maybe_copy_clone_fn() {} + +fn check_copy<T: Copy>(_x: &T) {} +fn check_clone<T: Clone>(_x: &T) {} |
