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:18:5
  35    |
  36 LL | fn occ_cov_key<'a, 'new>(v: OccupiedEntry<'a, &'static (), ()>)
  37    |                    ---- lifetime `'new` defined here
  38 LL |                          -> OccupiedEntry<'a, &'new (), ()> {
  39 LL |     v
  40    |     ^ returning this value requires that `'new` must outlive `'static`
  41
  42 error: lifetime may not live long enough
  43   --> $DIR/variance-btree-invariant-types.rs:22:5
  44    |
  45 LL | fn occ_cov_val<'a, 'new>(v: OccupiedEntry<'a, (), &'static ()>)
  46    |                    ---- lifetime `'new` defined here
  47 LL |                          -> OccupiedEntry<'a, (), &'new ()> {
  48 LL |     v
  49    |     ^ returning this value requires that `'new` must outlive `'static`
  50
  51 error: lifetime may not live long enough
  52   --> $DIR/variance-btree-invariant-types.rs:26:5
  53    |
  54 LL | fn occ_contra_key<'a, 'new>(v: OccupiedEntry<'a, &'new (), ()>)
  55    |                       ---- lifetime `'new` defined here
  56 LL |                             -> OccupiedEntry<'a, &'static (), ()> {
  57 LL |     v
  58    |     ^ returning this value requires that `'new` must outlive `'static`
  59
  60 error: lifetime may not live long enough
  61   --> $DIR/variance-btree-invariant-types.rs:30:5
  62    |
  63 LL | fn occ_contra_val<'a, 'new>(v: OccupiedEntry<'a, (), &'new ()>)
  64    |                       ---- lifetime `'new` defined here
  65 LL |                             -> OccupiedEntry<'a, (), &'static ()> {
  66 LL |     v
  67    |     ^ returning this value requires that `'new` must outlive `'static`
  68
  69 error: lifetime may not live long enough
  70   --> $DIR/variance-btree-invariant-types.rs:35:5
  71    |
  72 LL | fn vac_cov_key<'a, 'new>(v: VacantEntry<'a, &'static (), ()>)
  73    |                    ---- lifetime `'new` defined here
  74 LL |                          -> VacantEntry<'a, &'new (), ()> {
  75 LL |     v
  76    |     ^ returning this value requires that `'new` must outlive `'static`
  77
  78 error: lifetime may not live long enough
  79   --> $DIR/variance-btree-invariant-types.rs:39:5
  80    |
  81 LL | fn vac_cov_val<'a, 'new>(v: VacantEntry<'a, (), &'static ()>)
  82    |                    ---- lifetime `'new` defined here
  83 LL |                          -> VacantEntry<'a, (), &'new ()> {
  84 LL |     v
  85    |     ^ returning this value requires that `'new` must outlive `'static`
  86
  87 error: lifetime may not live long enough
  88   --> $DIR/variance-btree-invariant-types.rs:43:5
  89    |
  90 LL | fn vac_contra_key<'a, 'new>(v: VacantEntry<'a, &'new (), ()>)
  91    |                       ---- lifetime `'new` defined here
  92 LL |                             -> VacantEntry<'a, &'static (), ()> {
  93 LL |     v
  94    |     ^ returning this value requires that `'new` must outlive `'static`
  95
  96 error: lifetime may not live long enough
  97   --> $DIR/variance-btree-invariant-types.rs:47:5
  98    |
  99 LL | fn vac_contra_val<'a, 'new>(v: VacantEntry<'a, (), &'new ()>)
 100    |                       ---- lifetime `'new` defined here
 101 LL |                             -> VacantEntry<'a, (), &'static ()> {
 102 LL |     v
 103    |     ^ returning this value requires that `'new` must outlive `'static`
 104
 105 error: aborting due to 12 previous errors
 106