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