about summary refs log tree commit diff
path: root/tests/ui/coroutine/clone-impl-async.rs
diff options
context:
space:
mode:
authorOli Scherer <git-spam-no-reply9815368754983@oli-obk.de>2023-10-20 10:11:10 +0000
committerOli Scherer <git-spam-no-reply9815368754983@oli-obk.de>2023-10-20 21:14:02 +0000
commit5c1872d7ae10193ec41075c7ebc21bd43a236f53 (patch)
tree80ab2149a50bcdd60e584d789d6bbe8f5503ad50 /tests/ui/coroutine/clone-impl-async.rs
parentaf93c20c06ec1f577f0544aaf98403a5d9ff143c (diff)
downloadrust-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.rs70
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) {}