[rustc.git] / src / test / ui / in-band-lifetimes / impl / dyn-trait.stderr

error[E0495]: cannot infer an appropriate lifetime due to conflicting requirements
  --> $DIR/dyn-trait.rs:32:16
   |
LL |     static_val(x); //~ ERROR cannot infer
   |                ^
   |
note: first, the lifetime cannot outlive the lifetime 'a as defined on the function body at 31:1...
  --> $DIR/dyn-trait.rs:31:1
   |
LL | fn with_dyn_debug_static<'a>(x: Box<dyn Debug + 'a>) {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   = note: ...so that the expression is assignable:
           expected std::boxed::Box<std::fmt::Debug>
              found std::boxed::Box<std::fmt::Debug + 'a>
   = note: but, the lifetime must be valid for the static lifetime...
   = note: ...so that the types are compatible:
           expected StaticTrait
              found StaticTrait

error: aborting due to previous error

For more information about this error, try `rustc --explain E0495`.
Commit	Line	Data
0531ce1d	1	error[E0495]: cannot infer an appropriate lifetime due to conflicting requirements
83c7162d	2	--> $DIR/dyn-trait.rs:32:16
0531ce1d XL	3	\|
	4	LL \| static_val(x); //~ ERROR cannot infer
	5	\| ^
	6	\|
83c7162d XL	7	note: first, the lifetime cannot outlive the lifetime 'a as defined on the function body at 31:1...
83c7162d XL	8	--> $DIR/dyn-trait.rs:31:1
0531ce1d XL	9	\|
	10	LL \| fn with_dyn_debug_static<'a>(x: Box<dyn Debug + 'a>) {
	11	\| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
	12	= note: ...so that the expression is assignable:
	13	expected std::boxed::Box<std::fmt::Debug>
	14	found std::boxed::Box<std::fmt::Debug + 'a>
	15	= note: but, the lifetime must be valid for the static lifetime...
	16	= note: ...so that the types are compatible:
	17	expected StaticTrait
	18	found StaticTrait
	19
	20	error: aborting due to previous error
	21
	22	For more information about this error, try `rustc --explain E0495`.