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