src/test/ui/variance/variance-btree-invariant-types.nll.stderr

   1 error: lifetime may not live long enough
   2   --> $DIR/variance-btree-invariant-types.rs:4:5
   3    |
   4 LL | fn iter_cov_key<'a, 'new>(v: IterMut<'a, &'static (), ()>) -> IterMut<'a, &'new (), ()> {
   5    |                     ---- lifetime `'new` defined here
   6 LL |     v
   7    |     ^ returning this value requires that `'new` must outlive `'static`
   8    |
   9    = help: consider replacing `'new` with `'static`
  10
  11 error: lifetime may not live long enough
  12   --> $DIR/variance-btree-invariant-types.rs:7:5
  13    |
  14 LL | fn iter_cov_val<'a, 'new>(v: IterMut<'a, (), &'static ()>) -> IterMut<'a, (), &'new ()> {
  15    |                     ---- lifetime `'new` defined here
  16 LL |     v
  17    |     ^ returning this value requires that `'new` must outlive `'static`
  18    |
  19    = help: consider replacing `'new` with `'static`
  20
  21 error: lifetime may not live long enough
  22   --> $DIR/variance-btree-invariant-types.rs:10:5
  23    |
  24 LL | fn iter_contra_key<'a, 'new>(v: IterMut<'a, &'new (), ()>) -> IterMut<'a, &'static (), ()> {
  25    |                        ---- lifetime `'new` defined here
  26 LL |     v
  27    |     ^ returning this value requires that `'new` must outlive `'static`
  28    |
  29    = help: consider replacing `'new` with `'static`
  30
  31 error: lifetime may not live long enough
  32   --> $DIR/variance-btree-invariant-types.rs:13:5
  33    |
  34 LL | fn iter_contra_val<'a, 'new>(v: IterMut<'a, (), &'new ()>) -> IterMut<'a, (), &'static ()> {
  35    |                        ---- lifetime `'new` defined here
  36 LL |     v
  37    |     ^ returning this value requires that `'new` must outlive `'static`
  38    |
  39    = help: consider replacing `'new` with `'static`
  40
  41 error: lifetime may not live long enough
  42   --> $DIR/variance-btree-invariant-types.rs:18:5
  43    |
  44 LL | fn occ_cov_key<'a, 'new>(v: OccupiedEntry<'a, &'static (), ()>)
  45    |                    ---- lifetime `'new` defined here
  46 LL |                          -> OccupiedEntry<'a, &'new (), ()> {
  47 LL |     v
  48    |     ^ returning this value requires that `'new` must outlive `'static`
  49    |
  50    = help: consider replacing `'new` with `'static`
  51
  52 error: lifetime may not live long enough
  53   --> $DIR/variance-btree-invariant-types.rs:22:5
  54    |
  55 LL | fn occ_cov_val<'a, 'new>(v: OccupiedEntry<'a, (), &'static ()>)
  56    |                    ---- lifetime `'new` defined here
  57 LL |                          -> OccupiedEntry<'a, (), &'new ()> {
  58 LL |     v
  59    |     ^ returning this value requires that `'new` must outlive `'static`
  60    |
  61    = help: consider replacing `'new` with `'static`
  62
  63 error: lifetime may not live long enough
  64   --> $DIR/variance-btree-invariant-types.rs:26:5
  65    |
  66 LL | fn occ_contra_key<'a, 'new>(v: OccupiedEntry<'a, &'new (), ()>)
  67    |                       ---- lifetime `'new` defined here
  68 LL |                             -> OccupiedEntry<'a, &'static (), ()> {
  69 LL |     v
  70    |     ^ returning this value requires that `'new` must outlive `'static`
  71    |
  72    = help: consider replacing `'new` with `'static`
  73
  74 error: lifetime may not live long enough
  75   --> $DIR/variance-btree-invariant-types.rs:30:5
  76    |
  77 LL | fn occ_contra_val<'a, 'new>(v: OccupiedEntry<'a, (), &'new ()>)
  78    |                       ---- lifetime `'new` defined here
  79 LL |                             -> OccupiedEntry<'a, (), &'static ()> {
  80 LL |     v
  81    |     ^ returning this value requires that `'new` must outlive `'static`
  82    |
  83    = help: consider replacing `'new` with `'static`
  84
  85 error: lifetime may not live long enough
  86   --> $DIR/variance-btree-invariant-types.rs:35:5
  87    |
  88 LL | fn vac_cov_key<'a, 'new>(v: VacantEntry<'a, &'static (), ()>)
  89    |                    ---- lifetime `'new` defined here
  90 LL |                          -> VacantEntry<'a, &'new (), ()> {
  91 LL |     v
  92    |     ^ returning this value requires that `'new` must outlive `'static`
  93    |
  94    = help: consider replacing `'new` with `'static`
  95
  96 error: lifetime may not live long enough
  97   --> $DIR/variance-btree-invariant-types.rs:39:5
  98    |
  99 LL | fn vac_cov_val<'a, 'new>(v: VacantEntry<'a, (), &'static ()>)
 100    |                    ---- lifetime `'new` defined here
 101 LL |                          -> VacantEntry<'a, (), &'new ()> {
 102 LL |     v
 103    |     ^ returning this value requires that `'new` must outlive `'static`
 104    |
 105    = help: consider replacing `'new` with `'static`
 106
 107 error: lifetime may not live long enough
 108   --> $DIR/variance-btree-invariant-types.rs:43:5
 109    |
 110 LL | fn vac_contra_key<'a, 'new>(v: VacantEntry<'a, &'new (), ()>)
 111    |                       ---- lifetime `'new` defined here
 112 LL |                             -> VacantEntry<'a, &'static (), ()> {
 113 LL |     v
 114    |     ^ returning this value requires that `'new` must outlive `'static`
 115    |
 116    = help: consider replacing `'new` with `'static`
 117
 118 error: lifetime may not live long enough
 119   --> $DIR/variance-btree-invariant-types.rs:47:5
 120    |
 121 LL | fn vac_contra_val<'a, 'new>(v: VacantEntry<'a, (), &'new ()>)
 122    |                       ---- lifetime `'new` defined here
 123 LL |                             -> VacantEntry<'a, (), &'static ()> {
 124 LL |     v
 125    |     ^ returning this value requires that `'new` must outlive `'static`
 126    |
 127    = help: consider replacing `'new` with `'static`
 128
 129 error: aborting due to 12 previous errors
 130