| error[E0495]: cannot infer an appropriate lifetime due to conflicting requirements |
| --> $DIR/dyn-trait.rs:20:16 |
| | |
| LL | static_val(x); |
| | ^ |
| | |
| 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 |
| --> $DIR/dyn-trait.rs:20:16 |
| | |
| LL | static_val(x); |
| | ^ |
| = note: 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 |
| --> $DIR/dyn-trait.rs:20:5 |
| | |
| LL | static_val(x); |
| | ^^^^^^^^^^ |
| = note: expected `StaticTrait` |
| found `StaticTrait` |
| |
| error: aborting due to previous error |
| |
| For more information about this error, try `rustc --explain E0495`. |