]>
Commit | Line | Data |
---|---|---|
b7449926 | 1 | error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements |
0731742a | 2 | --> $DIR/regions-assoc-type-static-bound-in-trait-not-met.rs:9:10 |
b7449926 XL |
3 | | |
4 | LL | impl<'a> Foo for &'a i32 { | |
5 | | ^^^ | |
6 | | | |
e74abb32 | 7 | note: first, the lifetime cannot outlive the lifetime `'a` as defined on the impl at 9:6... |
0731742a | 8 | --> $DIR/regions-assoc-type-static-bound-in-trait-not-met.rs:9:6 |
b7449926 XL |
9 | | |
10 | LL | impl<'a> Foo for &'a i32 { | |
11 | | ^^ | |
60c5eb7d XL |
12 | note: ...so that the types are compatible |
13 | --> $DIR/regions-assoc-type-static-bound-in-trait-not-met.rs:9:10 | |
14 | | | |
15 | LL | impl<'a> Foo for &'a i32 { | |
16 | | ^^^ | |
17 | = note: expected `Foo` | |
18 | found `Foo` | |
b7449926 XL |
19 | = note: but, the lifetime must be valid for the static lifetime... |
20 | note: ...so that the type `&i32` will meet its required lifetime bounds | |
0731742a | 21 | --> $DIR/regions-assoc-type-static-bound-in-trait-not-met.rs:9:10 |
b7449926 XL |
22 | | |
23 | LL | impl<'a> Foo for &'a i32 { | |
24 | | ^^^ | |
25 | ||
26 | error: aborting due to previous error | |
27 | ||
e74abb32 | 28 | For more information about this error, try `rustc --explain E0495`. |