src/test/ui/regions/regions-assoc-type-region-bound-in-trait-not-met.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

error[E0477]: the type `&'a i32` does not fulfill the required lifetime
  --> $DIR/regions-assoc-type-region-bound-in-trait-not-met.rs:15:18
   |
LL |     type Value = &'a i32;
   |                  ^^^^^^^
   |
note: type must satisfy the static lifetime as required by this binding
  --> $DIR/regions-assoc-type-region-bound-in-trait-not-met.rs:5:17
   |
LL |     type Value: 'a;
   |                 ^^

error[E0477]: the type `&'a i32` does not fulfill the required lifetime
  --> $DIR/regions-assoc-type-region-bound-in-trait-not-met.rs:20:18
   |
LL |     type Value = &'a i32;
   |                  ^^^^^^^
   |
note: type must outlive the lifetime `'b` as defined here as required by this binding
  --> $DIR/regions-assoc-type-region-bound-in-trait-not-met.rs:19:10
   |
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 E0477`.