[rustc.git] / src / test / ui / regions / regions-close-object-into-object-2.rs

// revisions: base nll
// ignore-compare-mode-nll
//[nll] compile-flags: -Z borrowck=mir

trait A<T> { }

struct B<'a, T:'a>(&'a (dyn A<T> + 'a));

trait X { }
impl<'a, T> X for B<'a, T> {}

fn g<'a, T: 'static>(v: Box<dyn A<T> + 'a>) -> Box<dyn X + 'static> {
    Box::new(B(&*v)) as Box<dyn X>
    //[base]~^ ERROR E0759
    //[nll]~^^ ERROR lifetime may not live long enough
    //[nll]~| ERROR cannot return value referencing local data `*v` [E0515]
}

fn main() { }
Commit	Line	Data
04454e1e FG	1	// revisions: base nll
	2	// ignore-compare-mode-nll
	3	//[nll] compile-flags: -Z borrowck=mir
	4
9346a6ac	5	trait A<T> { }
c295e0f8	6
dc9dc135	7	struct B<'a, T:'a>(&'a (dyn A<T> + 'a));
85aaf69f	8
9346a6ac	9	trait X { }
85aaf69f	10	impl<'a, T> X for B<'a, T> {}
223e47cc	11
dc9dc135	12	fn g<'a, T: 'static>(v: Box<dyn A<T> + 'a>) -> Box<dyn X + 'static> {
04454e1e FG	13	Box::new(B(&*v)) as Box<dyn X>
	14	//[base]~^ ERROR E0759
	15	//[nll]~^^ ERROR lifetime may not live long enough
	16	//[nll]~\| ERROR cannot return value referencing local data `*v` [E0515]
223e47cc LB	17	}
223e47cc LB	18
85aaf69f	19	fn main() { }