about summary refs log tree commit diff
path: root/src/test/ui/impl-header-lifetime-elision/dyn-trait.stderr
blob: 53cd2b144118736bce037ab51e07a473f508eca7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
error[E0495]: cannot infer an appropriate lifetime due to conflicting requirements
  --> $DIR/dyn-trait.rs:20:16
   |
LL |     static_val(x); //~ ERROR cannot infer
   |                ^
   |
note: first, the lifetime cannot outlive the lifetime 'a as defined on the function body at 19:26...
  --> $DIR/dyn-trait.rs:19:26
   |
LL | fn with_dyn_debug_static<'a>(x: Box<dyn Debug + 'a>) {
   |                          ^^
   = note: ...so that the expression is assignable:
           expected std::boxed::Box<dyn std::fmt::Debug>
              found std::boxed::Box<(dyn 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`.