about summary refs log tree commit diff
path: root/tests/ui/generator/ref-escapes-but-not-over-yield.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/generator/ref-escapes-but-not-over-yield.rs')
-rw-r--r--tests/ui/generator/ref-escapes-but-not-over-yield.rs16
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/ui/generator/ref-escapes-but-not-over-yield.rs b/tests/ui/generator/ref-escapes-but-not-over-yield.rs
new file mode 100644
index 00000000000..3856d8233bc
--- /dev/null
+++ b/tests/ui/generator/ref-escapes-but-not-over-yield.rs
@@ -0,0 +1,16 @@
+#![feature(generators)]
+
+fn foo(x: &i32) {
+    // In this case, a reference to `b` escapes the generator, but not
+    // because of a yield. We see that there is no yield in the scope of
+    // `b` and give the more generic error message.
+    let mut a = &3;
+    let mut b = move || {
+        yield();
+        let b = 5;
+        a = &b;
+        //~^ ERROR borrowed data escapes outside of generator
+    };
+}
+
+fn main() { }