[rustc.git] / src / test / ui / regions / regions-infer-invariance-due-to-mutability-3.rs

struct Invariant<'a> {
    f: Box<dyn FnOnce(&mut &'a isize) + 'static>,
}

fn to_same_lifetime<'r>(b_isize: Invariant<'r>) {
    let bj: Invariant<'r> = b_isize;
}

fn to_longer_lifetime<'r>(b_isize: Invariant<'r>) -> Invariant<'static> {
    b_isize
    //~^ ERROR lifetime may not live long enough
}

fn main() {
}
Commit	Line	Data
0731742a	1	struct Invariant<'a> {
dc9dc135	2	f: Box<dyn FnOnce(&mut &'a isize) + 'static>,
223e47cc LB	3	}
223e47cc LB	4
0731742a XL	5	fn to_same_lifetime<'r>(b_isize: Invariant<'r>) {
0731742a XL	6	let bj: Invariant<'r> = b_isize;
223e47cc LB	7	}
223e47cc LB	8
0731742a	9	fn to_longer_lifetime<'r>(b_isize: Invariant<'r>) -> Invariant<'static> {
04454e1e	10	b_isize
923072b8	11	//~^ ERROR lifetime may not live long enough
223e47cc LB	12	}
	13
	14	fn main() {
	15	}