[rustc.git] / src / test / ui / type-alias-impl-trait / implied_bounds_from_types.stderr

error: lifetime may not live long enough
  --> $DIR/implied_bounds_from_types.rs:17:9
   |
LL | impl<'a> Convert<'a> for () {
   |      -- lifetime `'a` defined here
...
LL |     fn convert<'b, T: ?Sized>(_proof: &'b WithLifetime<&'a ()>, x: &'a T) -> &'b T {
   |                -- lifetime `'b` defined here
...
LL |         x
   |         ^ associated function was supposed to return data with lifetime `'b` but it is returning data with lifetime `'a`
   |
   = help: consider adding the following bound: `'a: 'b`

error: aborting due to previous error
Commit	Line	Data
2b03887a FG	1	error: lifetime may not live long enough
	2	--> $DIR/implied_bounds_from_types.rs:17:9
	3	\|
	4	LL \| impl<'a> Convert<'a> for () {
	5	\| -- lifetime `'a` defined here
	6	...
	7	LL \| fn convert<'b, T: ?Sized>(_proof: &'b WithLifetime<&'a ()>, x: &'a T) -> &'b T {
	8	\| -- lifetime `'b` defined here
	9	...
	10	LL \| x
	11	\| ^ associated function was supposed to return data with lifetime `'b` but it is returning data with lifetime `'a`
	12	\|
	13	= help: consider adding the following bound: `'a: 'b`
	14
	15	error: aborting due to previous error
	16