about summary refs log tree commit diff
path: root/tests/ui/generator/static-mut-reference-across-yield.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/generator/static-mut-reference-across-yield.rs')
-rw-r--r--tests/ui/generator/static-mut-reference-across-yield.rs32
1 files changed, 32 insertions, 0 deletions
diff --git a/tests/ui/generator/static-mut-reference-across-yield.rs b/tests/ui/generator/static-mut-reference-across-yield.rs
new file mode 100644
index 00000000000..0fa6d9cdc77
--- /dev/null
+++ b/tests/ui/generator/static-mut-reference-across-yield.rs
@@ -0,0 +1,32 @@
+// build-pass
+// revisions: mir thir
+// [thir]compile-flags: -Zthir-unsafeck
+
+#![feature(generators)]
+
+static mut A: [i32; 5] = [1, 2, 3, 4, 5];
+
+fn is_send_sync<T: Send + Sync>(_: T) {}
+
+fn main() {
+    unsafe {
+        let gen_index = static || {
+            let u = A[{
+                yield;
+                1
+            }];
+        };
+        let gen_match = static || match A {
+            i if {
+                yield;
+                true
+            } =>
+            {
+                ()
+            }
+            _ => (),
+        };
+        is_send_sync(gen_index);
+        is_send_sync(gen_match);
+    }
+}