| error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements |
| --> $DIR/regions-assoc-type-static-bound-in-trait-not-met.rs:9:10 |
| | |
| LL | impl<'a> Foo for &'a i32 { |
| | ^^^ |
| | |
| note: first, the lifetime cannot outlive the lifetime `'a` as defined on the impl at 9:6... |
| --> $DIR/regions-assoc-type-static-bound-in-trait-not-met.rs:9:6 |
| | |
| LL | impl<'a> Foo for &'a i32 { |
| | ^^ |
| note: ...so that the types are compatible |
| --> $DIR/regions-assoc-type-static-bound-in-trait-not-met.rs:9:10 |
| | |
| LL | impl<'a> Foo for &'a i32 { |
| | ^^^ |
| = note: expected `Foo` |
| found `Foo` |
| = note: but, the lifetime must be valid for the static lifetime... |
| note: ...so that the type `&i32` will meet its required lifetime bounds |
| --> $DIR/regions-assoc-type-static-bound-in-trait-not-met.rs:9:10 |
| | |
| LL | impl<'a> Foo for &'a i32 { |
| | ^^^ |
| |
| error: aborting due to previous error |
| |
| For more information about this error, try `rustc --explain E0495`. |