summaryrefslogtreecommitdiffstats
path: root/src/test/ui/generator/static-mut-reference-across-yield.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/generator/static-mut-reference-across-yield.rs')
-rw-r--r--src/test/ui/generator/static-mut-reference-across-yield.rs32
1 files changed, 32 insertions, 0 deletions
diff --git a/src/test/ui/generator/static-mut-reference-across-yield.rs b/src/test/ui/generator/static-mut-reference-across-yield.rs
new file mode 100644
index 000000000..0fa6d9cdc
--- /dev/null
+++ b/src/test/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);
+ }
+}