[rustc.git] / src / test / ui / regions / region-object-lifetime-2.rs

// Various tests related to testing how region inference works
// with respect to the object receivers.

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

trait Foo {
    fn borrowed<'a>(&'a self) -> &'a ();
}

// Borrowed receiver but two distinct lifetimes, we get an error.
fn borrowed_receiver_different_lifetimes<'a,'b>(x: &'a dyn Foo) -> &'b () {
    x.borrowed()
    //[base]~^ ERROR cannot infer
    //[nll]~^^ ERROR lifetime may not live long enough
}

fn main() {}
Commit	Line	Data
85aaf69f SL	1	// Various tests related to testing how region inference works
85aaf69f SL	2	// with respect to the object receivers.
1a4d82fc	3
04454e1e FG	4	// revisions: base nll
	5	// ignore-compare-mode-nll
	6	//[nll] compile-flags: -Z borrowck=mir
	7
85aaf69f SL	8	trait Foo {
	9	fn borrowed<'a>(&'a self) -> &'a ();
	10	}
223e47cc	11
85aaf69f	12	// Borrowed receiver but two distinct lifetimes, we get an error.
dc9dc135	13	fn borrowed_receiver_different_lifetimes<'a,'b>(x: &'a dyn Foo) -> &'b () {
04454e1e FG	14	x.borrowed()
	15	//[base]~^ ERROR cannot infer
	16	//[nll]~^^ ERROR lifetime may not live long enough
223e47cc LB	17	}
	18
	19	fn main() {}