summary refs log tree commit diff
path: root/src/test/ui/generator/dropck.rs
blob: 65c61fbaac4e2b871b484a2fd3080f1a549813c6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#![feature(generators, generator_trait, box_leak)]

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
}