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