1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/ui/generator/dropck.rs b/src/test/ui/generator/dropck.rs
new file mode 100644
index 000000000..f82111a76
--- /dev/null
+++ b/src/test/ui/generator/dropck.rs
@@ -0,0 +1,20 @@
+#![feature(generators, generator_trait)]
+
+use std::cell::RefCell;
+use std::ops::Generator;
+use std::pin::Pin;
+
+fn main() {
+    let (mut gen, cell);
+    cell = Box::new(RefCell::new(0));
+    let ref_ = Box::leak(Box::new(Some(cell.borrow_mut())));
+    //~^ ERROR `*cell` does not live long enough [E0597]
+    // the upvar is the non-dropck `&mut Option<Ref<'a, i32>>`.
+    gen = || {
+        // but the generator can use it to drop a `Ref<'a, i32>`.
+        let _d = ref_.take(); //~ ERROR `ref_` does not live long enough
+        yield;
+    };
+    Pin::new(&mut gen).resume(());
+    // drops the RefCell and then the Ref, leading to use-after-free
+}