src/test/ui/generic-associated-types/issue-86483.stderr

   1 error[E0311]: the parameter type `T` may not live long enough
   2   --> $DIR/issue-86483.rs:5:1
   3    |
   4 LL | / pub trait IceIce<T>
   5 LL | | where
   6 LL | |     for<'a> T: 'a,
   7 LL | | {
   8 ...  |
   9 LL | |
  10 LL | | }
  11    | |_^
  12    |
  13    = note: ...so that the type `T` will meet its required lifetime bounds...
  14 note: ...that is required by this bound
  15   --> $DIR/issue-86483.rs:7:16
  16    |
  17 LL |     for<'a> T: 'a,
  18    |                ^^
  19 help: consider adding an explicit lifetime bound...
  20    |
  21 LL |     for<'a> T: 'a + 'a,
  22    |                   ++++
  23
  24 error[E0311]: the parameter type `T` may not live long enough
  25   --> $DIR/issue-86483.rs:9:5
  26    |
  27 LL |     type Ice<'v>: IntoIterator<Item = &'v T>;
  28    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ...so that the type `T` will meet its required lifetime bounds...
  29    |
  30 note: ...that is required by this bound
  31   --> $DIR/issue-86483.rs:7:16
  32    |
  33 LL |     for<'a> T: 'a,
  34    |                ^^
  35 help: consider adding an explicit lifetime bound...
  36    |
  37 LL |     for<'a> T: 'a + 'a,
  38    |                   ++++
  39
  40 error[E0309]: the parameter type `T` may not live long enough
  41   --> $DIR/issue-86483.rs:9:32
  42    |
  43 LL |     type Ice<'v>: IntoIterator<Item = &'v T>;
  44    |                                ^^^^^^^^^^^^ - help: consider adding a where clause: `where T: 'v`
  45    |                                |
  46    |                                ...so that the reference type `&'v T` does not outlive the data it points at
  47
  48 error: aborting due to 3 previous errors
  49
  50 For more information about this error, try `rustc --explain E0309`.