src/test/ui/nll/ty-outlives/projection-two-region-trait-bound-closure.stderr

   1 note: external requirements
   2   --> $DIR/projection-two-region-trait-bound-closure.rs:38:29
   3    |
   4 LL |     with_signature(cell, t, |cell, t| require(cell, t));
   5    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
   6    |
   7    = note: defining type: no_relationships_late::<'_#1r, '_#2r, T>::{closure#0} with closure substs [
   8                i32,
   9                extern "rust-call" fn((std::cell::Cell<&'_#3r ()>, T)),
  10                (),
  11            ]
  12    = note: late-bound region is '_#4r
  13    = note: number of external vids: 5
  14    = note: where <T as Anything<ReEarlyBound(0, 'b), ReEarlyBound(1, 'c)>>::AssocType: '_#3r
  15
  16 note: no external requirements
  17   --> $DIR/projection-two-region-trait-bound-closure.rs:34:1
  18    |
  19 LL | / fn no_relationships_late<'a, 'b, 'c, T>(cell: Cell<&'a ()>, t: T)
  20 LL | | where
  21 LL | |     T: Anything<'b, 'c>,
  22 LL | | {
  23 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
  24 LL | |
  25 LL | | }
  26    | |_^
  27    |
  28    = note: defining type: no_relationships_late::<'_#1r, '_#2r, T>
  29
  30 error[E0309]: the associated type `<T as Anything<ReEarlyBound(0, 'b), ReEarlyBound(1, 'c)>>::AssocType` may not live long enough
  31   --> $DIR/projection-two-region-trait-bound-closure.rs:38:29
  32    |
  33 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  34    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  35    |
  36    = help: consider adding an explicit lifetime bound `<T as Anything<ReEarlyBound(0, 'b), ReEarlyBound(1, 'c)>>::AssocType: 'a`...
  37    = note: ...so that the type `<T as Anything<ReEarlyBound(0, 'b), ReEarlyBound(1, 'c)>>::AssocType` will meet its required lifetime bounds
  38
  39 note: external requirements
  40   --> $DIR/projection-two-region-trait-bound-closure.rs:48:29
  41    |
  42 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  43    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  44    |
  45    = note: defining type: no_relationships_early::<'_#1r, '_#2r, '_#3r, T>::{closure#0} with closure substs [
  46                i32,
  47                extern "rust-call" fn((std::cell::Cell<&'_#4r ()>, T)),
  48                (),
  49            ]
  50    = note: number of external vids: 5
  51    = note: where <T as Anything<ReEarlyBound(1, 'b), ReEarlyBound(2, 'c)>>::AssocType: '_#4r
  52
  53 note: no external requirements
  54   --> $DIR/projection-two-region-trait-bound-closure.rs:43:1
  55    |
  56 LL | / fn no_relationships_early<'a, 'b, 'c, T>(cell: Cell<&'a ()>, t: T)
  57 LL | | where
  58 LL | |     T: Anything<'b, 'c>,
  59 LL | |     'a: 'a,
  60 ...  |
  61 LL | |
  62 LL | | }
  63    | |_^
  64    |
  65    = note: defining type: no_relationships_early::<'_#1r, '_#2r, '_#3r, T>
  66
  67 error[E0309]: the associated type `<T as Anything<ReEarlyBound(1, 'b), ReEarlyBound(2, 'c)>>::AssocType` may not live long enough
  68   --> $DIR/projection-two-region-trait-bound-closure.rs:48:29
  69    |
  70 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  71    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  72    |
  73    = help: consider adding an explicit lifetime bound `<T as Anything<ReEarlyBound(1, 'b), ReEarlyBound(2, 'c)>>::AssocType: 'a`...
  74    = note: ...so that the type `<T as Anything<ReEarlyBound(1, 'b), ReEarlyBound(2, 'c)>>::AssocType` will meet its required lifetime bounds
  75
  76 note: external requirements
  77   --> $DIR/projection-two-region-trait-bound-closure.rs:61:29
  78    |
  79 LL |     with_signature(cell, t, |cell, t| require(cell, t));
  80    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
  81    |
  82    = note: defining type: projection_outlives::<'_#1r, '_#2r, '_#3r, T>::{closure#0} with closure substs [
  83                i32,
  84                extern "rust-call" fn((std::cell::Cell<&'_#4r ()>, T)),
  85                (),
  86            ]
  87    = note: number of external vids: 5
  88    = note: where <T as Anything<ReEarlyBound(1, 'b), ReEarlyBound(2, 'c)>>::AssocType: '_#4r
  89
  90 note: no external requirements
  91   --> $DIR/projection-two-region-trait-bound-closure.rs:53:1
  92    |
  93 LL | / fn projection_outlives<'a, 'b, 'c, T>(cell: Cell<&'a ()>, t: T)
  94 LL | | where
  95 LL | |     T: Anything<'b, 'c>,
  96 LL | |     T::AssocType: 'a,
  97 ...  |
  98 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
  99 LL | | }
 100    | |_^
 101    |
 102    = note: defining type: projection_outlives::<'_#1r, '_#2r, '_#3r, T>
 103
 104 note: external requirements
 105   --> $DIR/projection-two-region-trait-bound-closure.rs:70:29
 106    |
 107 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 108    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
 109    |
 110    = note: defining type: elements_outlive1::<'_#1r, '_#2r, '_#3r, T>::{closure#0} with closure substs [
 111                i32,
 112                extern "rust-call" fn((std::cell::Cell<&'_#4r ()>, T)),
 113                (),
 114            ]
 115    = note: number of external vids: 5
 116    = note: where <T as Anything<ReEarlyBound(1, 'b), ReEarlyBound(2, 'c)>>::AssocType: '_#4r
 117
 118 note: no external requirements
 119   --> $DIR/projection-two-region-trait-bound-closure.rs:65:1
 120    |
 121 LL | / fn elements_outlive1<'a, 'b, 'c, T>(cell: Cell<&'a ()>, t: T)
 122 LL | | where
 123 LL | |     T: Anything<'b, 'c>,
 124 LL | |     'b: 'a,
 125 LL | | {
 126 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 127 LL | | }
 128    | |_^
 129    |
 130    = note: defining type: elements_outlive1::<'_#1r, '_#2r, '_#3r, T>
 131
 132 note: external requirements
 133   --> $DIR/projection-two-region-trait-bound-closure.rs:79:29
 134    |
 135 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 136    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
 137    |
 138    = note: defining type: elements_outlive2::<'_#1r, '_#2r, '_#3r, T>::{closure#0} with closure substs [
 139                i32,
 140                extern "rust-call" fn((std::cell::Cell<&'_#4r ()>, T)),
 141                (),
 142            ]
 143    = note: number of external vids: 5
 144    = note: where <T as Anything<ReEarlyBound(1, 'b), ReEarlyBound(2, 'c)>>::AssocType: '_#4r
 145
 146 note: no external requirements
 147   --> $DIR/projection-two-region-trait-bound-closure.rs:74:1
 148    |
 149 LL | / fn elements_outlive2<'a, 'b, 'c, T>(cell: Cell<&'a ()>, t: T)
 150 LL | | where
 151 LL | |     T: Anything<'b, 'c>,
 152 LL | |     'c: 'a,
 153 LL | | {
 154 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 155 LL | | }
 156    | |_^
 157    |
 158    = note: defining type: elements_outlive2::<'_#1r, '_#2r, '_#3r, T>
 159
 160 note: external requirements
 161   --> $DIR/projection-two-region-trait-bound-closure.rs:87:29
 162    |
 163 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 164    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
 165    |
 166    = note: defining type: two_regions::<'_#1r, T>::{closure#0} with closure substs [
 167                i32,
 168                extern "rust-call" fn((std::cell::Cell<&'_#2r ()>, T)),
 169                (),
 170            ]
 171    = note: late-bound region is '_#3r
 172    = note: number of external vids: 4
 173    = note: where <T as Anything<ReEarlyBound(0, 'b), ReEarlyBound(0, 'b)>>::AssocType: '_#2r
 174
 175 note: no external requirements
 176   --> $DIR/projection-two-region-trait-bound-closure.rs:83:1
 177    |
 178 LL | / fn two_regions<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
 179 LL | | where
 180 LL | |     T: Anything<'b, 'b>,
 181 LL | | {
 182 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 183 LL | |
 184 LL | | }
 185    | |_^
 186    |
 187    = note: defining type: two_regions::<'_#1r, T>
 188
 189 error: lifetime may not live long enough
 190   --> $DIR/projection-two-region-trait-bound-closure.rs:87:29
 191    |
 192 LL | fn two_regions<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
 193    |                --  -- lifetime `'b` defined here
 194    |                |
 195    |                lifetime `'a` defined here
 196 ...
 197 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 198    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^ closure body requires that `'b` must outlive `'a`
 199    |
 200    = help: consider adding the following bound: `'b: 'a`
 201
 202 note: external requirements
 203   --> $DIR/projection-two-region-trait-bound-closure.rs:97:29
 204    |
 205 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 206    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
 207    |
 208    = note: defining type: two_regions_outlive::<'_#1r, '_#2r, T>::{closure#0} with closure substs [
 209                i32,
 210                extern "rust-call" fn((std::cell::Cell<&'_#3r ()>, T)),
 211                (),
 212            ]
 213    = note: number of external vids: 4
 214    = note: where <T as Anything<ReEarlyBound(1, 'b), ReEarlyBound(1, 'b)>>::AssocType: '_#3r
 215
 216 note: no external requirements
 217   --> $DIR/projection-two-region-trait-bound-closure.rs:92:1
 218    |
 219 LL | / fn two_regions_outlive<'a, 'b, T>(cell: Cell<&'a ()>, t: T)
 220 LL | | where
 221 LL | |     T: Anything<'b, 'b>,
 222 LL | |     'b: 'a,
 223 LL | | {
 224 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 225 LL | | }
 226    | |_^
 227    |
 228    = note: defining type: two_regions_outlive::<'_#1r, '_#2r, T>
 229
 230 note: external requirements
 231   --> $DIR/projection-two-region-trait-bound-closure.rs:109:29
 232    |
 233 LL |     with_signature(cell, t, |cell, t| require(cell, t));
 234    |                             ^^^^^^^^^^^^^^^^^^^^^^^^^^
 235    |
 236    = note: defining type: one_region::<'_#1r, T>::{closure#0} with closure substs [
 237                i32,
 238                extern "rust-call" fn((std::cell::Cell<&'_#2r ()>, T)),
 239                (),
 240            ]
 241    = note: number of external vids: 3
 242    = note: where <T as Anything<ReEarlyBound(0, 'a), ReEarlyBound(0, 'a)>>::AssocType: '_#2r
 243
 244 note: no external requirements
 245   --> $DIR/projection-two-region-trait-bound-closure.rs:101:1
 246    |
 247 LL | / fn one_region<'a, T>(cell: Cell<&'a ()>, t: T)
 248 LL | | where
 249 LL | |     T: Anything<'a, 'a>,
 250 LL | | {
 251 ...  |
 252 LL | |     with_signature(cell, t, |cell, t| require(cell, t));
 253 LL | | }
 254    | |_^
 255    |
 256    = note: defining type: one_region::<'_#1r, T>
 257
 258 error: aborting due to 3 previous errors
 259
 260 For more information about this error, try `rustc --explain E0309`.