Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1

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

1 files changed, 21 insertions, 0 deletions

diff --git a/src/test/ui/generator/too-live-local-in-immovable-gen.rs b/src/test/ui/generator/too-live-local-in-immovable-gen.rs
new file mode 100644
index 000000000..e0b856db7
--- /dev/null
+++ b/src/test/ui/generator/too-live-local-in-immovable-gen.rs
@@ -0,0 +1,21 @@
+// run-pass
+#![allow(unused_unsafe)]
+
+#![feature(generators)]
+
+fn main() {
+    unsafe {
+        static move || { //~ WARN unused generator that must be used
+            // Tests that the generator transformation finds out that `a` is not live
+            // during the yield expression. Type checking will also compute liveness
+            // and it should also find out that `a` is not live.
+            // The compiler will panic if the generator transformation finds that
+            // `a` is live and type checking finds it dead.
+            let a = {
+                yield ();
+                4i32
+            };
+            let _ = &a;
+        };
+    }
+}