[rustc.git] / src / test / ui / impl-trait / multiple-lifetimes.rs

// Test that multiple liftimes are allowed in impl trait types.
// build-pass (FIXME(62277): could be check-pass?)

trait X<'x>: Sized {}

impl<U> X<'_> for U {}

fn multiple_lifeteimes<'a, 'b, T: 'static>(x: &'a mut &'b T) -> impl X<'b> + 'a {
    x
}

fn main() {}
Commit	Line	Data
dc9dc135	1	// Test that multiple liftimes are allowed in impl trait types.
416331ca	2	// build-pass (FIXME(62277): could be check-pass?)
dc9dc135 XL	3
	4	trait X<'x>: Sized {}
	5
	6	impl<U> X<'_> for U {}
	7
	8	fn multiple_lifeteimes<'a, 'b, T: 'static>(x: &'a mut &'b T) -> impl X<'b> + 'a {
	9	x
	10	}
	11
	12	fn main() {}