Merging upstream version 1.75.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 27 insertions, 0 deletions

diff --git a/tests/ui/coroutine/not-send-sync.rs b/tests/ui/coroutine/not-send-sync.rs
new file mode 100644
index 000000000..dd6182c10
--- /dev/null
+++ b/tests/ui/coroutine/not-send-sync.rs
@@ -0,0 +1,27 @@
+#![feature(coroutines)]
+#![feature(negative_impls)]
+
+struct NotSend;
+struct NotSync;
+
+impl !Send for NotSend {}
+impl !Sync for NotSync {}
+
+fn main() {
+    fn assert_sync<T: Sync>(_: T) {}
+    fn assert_send<T: Send>(_: T) {}
+
+    assert_sync(|| {
+        //~^ ERROR: coroutine cannot be shared between threads safely
+        let a = NotSync;
+        yield;
+        drop(a);
+    });
+
+    assert_send(|| {
+        //~^ ERROR: coroutine cannot be sent between threads safely
+        let a = NotSend;
+        yield;
+        drop(a);
+    });
+}