summaryrefslogtreecommitdiffstats
path: root/tests/ui/generic-associated-types/issue-84931.stderr
blob: 04e14b9c746f3c17fc118a2a9ff2d7a5f0eb5a16 (plain)
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
28
29
30
31
32
33
34
35
36
error[E0309]: the parameter type `T` may not live long enough
  --> $DIR/issue-84931.rs:14:21
   |
LL |     type Item<'a> = &'a mut T;
   |               --    ^^^^^^^^^ ...so that the reference type `&'a mut T` does not outlive the data it points at
   |               |
   |               the parameter type `T` must be valid for the lifetime `'a` as defined here...
   |
help: consider adding an explicit lifetime bound
   |
LL |     type Item<'a> = &'a mut T where T: 'a;
   |                               +++++++++++

error[E0477]: the type `StreamingSliceIter<'b, T>` does not fulfill the required lifetime
  --> $DIR/issue-84931.rs:14:21
   |
LL |     type Item<'a> where Self: 'a;
   |     ------------- definition of `Item` from trait
...
LL |     type Item<'a> = &'a mut T;
   |                     ^^^^^^^^^
   |
note: type must outlive the lifetime `'a` as defined here
  --> $DIR/issue-84931.rs:14:15
   |
LL |     type Item<'a> = &'a mut T;
   |               ^^
help: copy the `where` clause predicates from the trait
   |
LL |     type Item<'a> = &'a mut T where Self: 'a;
   |                               ++++++++++++++

error: aborting due to 2 previous errors

Some errors have detailed explanations: E0309, E0477.
For more information about an error, try `rustc --explain E0309`.