src/test/ui/nll/ty-outlives/projection-one-region-closure.stderr

   1 note: External requirements
   2   --> $DIR/projection-one-region-closure.rs:55:29
   3    |
   4 LL |     with_signature(cell, t, |cell, t| require(cell, t));
   5    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
   6    |
   7    = note: defining type: DefId(0/1:19 ~ projection_one_region_closure[317d]::no_relationships_late[0]::{{closure}}[0]) with closure substs [
   8                '_#1r,
   9                T,
  10                i32,
  11                extern "rust-call" fn((std::cell::Cell<&'_#2r ()>, T))
  12            ]
  13    = note: late-bound region is '_#3r
  14    = note: number of external vids: 4
  15    = note: where T: '_#2r
  16    = note: where '_#1r: '_#2r
  17
  18 note: No external requirements
  19   --> $DIR/projection-one-region-closure.rs:51:1
  20    |
  21 LL | / fn no_relationships_late<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
  22 LL | | where
  23 LL | |     T: Anything<'b>,
  24 LL | | {
  25 ...  |
  26 LL | |     //~| ERROR
  27 LL | | }
  28    | |_^
  29    |
  30    = note: defining type: DefId(0/0:8 ~ projection_one_region_closure[317d]::no_relationships_late[0]) with substs [
  31                '_#1r,
  32                T
  33            ]
  34
  35 error[E0309]: the parameter type `T` may not live long enough
  36   --> $DIR/projection-one-region-closure.rs:55:29
  37    |
  38 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  39    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  40    |
  41    = help: consider adding an explicit lifetime bound `T: ReFree(DefId(0/0:8 ~ projection_one_region_closure[317d]::no_relationships_late[0]), BrNamed(crate0:DefIndex(1:16), 'a))`...
  42
  43 error: unsatisfied lifetime constraints
  44   --> $DIR/projection-one-region-closure.rs:55:39
  45    |
  46 LL | fn no_relationships_late<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
  47    |                          --  -- lifetime `'b` defined here
  48    |                          |
  49    |                          lifetime `'a` defined here
  50 ...
  51 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  52    |                                       ^^^^^^^^^^^^^^^^ argument requires that `'b` must outlive `'a`
  53
  54 note: External requirements
  55   --> $DIR/projection-one-region-closure.rs:66:29
  56    |
  57 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  58    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  59    |
  60    = note: defining type: DefId(0/1:23 ~ projection_one_region_closure[317d]::no_relationships_early[0]::{{closure}}[0]) with closure substs [
  61                '_#1r,
  62                '_#2r,
  63                T,
  64                i32,
  65                extern "rust-call" fn((std::cell::Cell<&'_#3r ()>, T))
  66            ]
  67    = note: number of external vids: 4
  68    = note: where T: '_#3r
  69    = note: where '_#2r: '_#3r
  70
  71 note: No external requirements
  72   --> $DIR/projection-one-region-closure.rs:61:1
  73    |
  74 LL | / fn no_relationships_early<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
  75 LL | | where
  76 LL | |     T: Anything<'b>,
  77 LL | |     'a: 'a,
  78 ...  |
  79 LL | |     //~| ERROR
  80 LL | | }
  81    | |_^
  82    |
  83    = note: defining type: DefId(0/0:9 ~ projection_one_region_closure[317d]::no_relationships_early[0]) with substs [
  84                '_#1r,
  85                '_#2r,
  86                T
  87            ]
  88
  89 error[E0309]: the parameter type `T` may not live long enough
  90   --> $DIR/projection-one-region-closure.rs:66:29
  91    |
  92 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  93    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  94    |
  95    = help: consider adding an explicit lifetime bound `T: ReEarlyBound(0, 'a)`...
  96
  97 error: unsatisfied lifetime constraints
  98   --> $DIR/projection-one-region-closure.rs:66:39
  99    |
 100 LL | fn no_relationships_early<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
 101    |                           --  -- lifetime `'b` defined here
 102    |                           |
 103    |                           lifetime `'a` defined here
 104 ...
 105 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 106    |                                       ^^^^^^^^^^^^^^^^ argument requires that `'b` must outlive `'a`
 107
 108 note: External requirements
 109   --> $DIR/projection-one-region-closure.rs:80:29
 110    |
 111 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 112    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
 113    |
 114    = note: defining type: DefId(0/1:27 ~ projection_one_region_closure[317d]::projection_outlives[0]::{{closure}}[0]) with closure substs [
 115                '_#1r,
 116                '_#2r,
 117                T,
 118                i32,
 119                extern "rust-call" fn((std::cell::Cell<&'_#3r ()>, T))
 120            ]
 121    = note: number of external vids: 4
 122    = note: where <T as Anything<ReClosureBound('_#2r)>>::AssocType: '_#3r
 123
 124 note: No external requirements
 125   --> $DIR/projection-one-region-closure.rs:72:1
 126    |
 127 LL | / fn projection_outlives<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
 128 LL | | where
 129 LL | |     T: Anything<'b>,
 130 LL | |     T::AssocType: 'a,
 131 ...  |
 132 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 133 LL | | }
 134    | |_^
 135    |
 136    = note: defining type: DefId(0/0:10 ~ projection_one_region_closure[317d]::projection_outlives[0]) with substs [
 137                '_#1r,
 138                '_#2r,
 139                T
 140            ]
 141
 142 note: External requirements
 143   --> $DIR/projection-one-region-closure.rs:90:29
 144    |
 145 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 146    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
 147    |
 148    = note: defining type: DefId(0/1:31 ~ projection_one_region_closure[317d]::elements_outlive[0]::{{closure}}[0]) with closure substs [
 149                '_#1r,
 150                '_#2r,
 151                T,
 152                i32,
 153                extern "rust-call" fn((std::cell::Cell<&'_#3r ()>, T))
 154            ]
 155    = note: number of external vids: 4
 156    = note: where T: '_#3r
 157    = note: where '_#2r: '_#3r
 158
 159 note: No external requirements
 160   --> $DIR/projection-one-region-closure.rs:84:1
 161    |
 162 LL | / fn elements_outlive<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
 163 LL | | where
 164 LL | |     T: Anything<'b>,
 165 LL | |     T: 'a,
 166 ...  |
 167 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 168 LL | | }
 169    | |_^
 170    |
 171    = note: defining type: DefId(0/0:11 ~ projection_one_region_closure[317d]::elements_outlive[0]) with substs [
 172                '_#1r,
 173                '_#2r,
 174                T
 175            ]
 176
 177 error: aborting due to 4 previous errors
 178
 179 For more information about this error, try `rustc --explain E0309`.