tests/ui/nll/user-annotations/normalization-2.stderr

   1 error: lifetime may not live long enough
   2   --> $DIR/normalization-2.rs:43:12
   3    |
   4 LL | fn test_local<'a>() {
   5    |               -- lifetime `'a` defined here
   6 LL |     let _: Ty<'a> = MyTy::Unit;
   7    |            ^^^^^^ requires that `'a` must outlive `'static`
   8
   9 error: lifetime may not live long enough
  10   --> $DIR/normalization-2.rs:48:6
  11    |
  12 LL | fn test_closure_sig<'a, 'b>() {
  13    |                     -- lifetime `'a` defined here
  14 LL |     |_: Ty<'a>| {};
  15    |      ^ requires that `'a` must outlive `'static`
  16
  17 error: lifetime may not live long enough
  18   --> $DIR/normalization-2.rs:50:11
  19    |
  20 LL | fn test_closure_sig<'a, 'b>() {
  21    |                         -- lifetime `'b` defined here
  22 ...
  23 LL |     || -> Option<Ty<'b>> { None };
  24    |           ^^^^^^^^^^^^^^ requires that `'b` must outlive `'static`
  25
  26 help: the following changes may resolve your lifetime errors
  27    |
  28    = help: replace `'a` with `'static`
  29    = help: replace `'b` with `'static`
  30
  31 error: lifetime may not live long enough
  32   --> $DIR/normalization-2.rs:55:5
  33    |
  34 LL | fn test_path<'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h>() {
  35    |              -- lifetime `'a` defined here
  36 LL |     <Ty<'a>>::method::<Ty<'static>>;
  37    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'a` must outlive `'static`
  38
  39 error: lifetime may not live long enough
  40   --> $DIR/normalization-2.rs:57:5
  41    |
  42 LL | fn test_path<'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h>() {
  43    |                  -- lifetime `'b` defined here
  44 ...
  45 LL |     <Ty<'static>>::method::<Ty<'b>>;
  46    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'b` must outlive `'static`
  47
  48 error: lifetime may not live long enough
  49   --> $DIR/normalization-2.rs:60:5
  50    |
  51 LL | fn test_path<'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h>() {
  52    |                      -- lifetime `'c` defined here
  53 ...
  54 LL |     <Ty<'c>>::trait_method::<Ty<'static>>;
  55    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'c` must outlive `'static`
  56
  57 error: lifetime may not live long enough
  58   --> $DIR/normalization-2.rs:62:5
  59    |
  60 LL | fn test_path<'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h>() {
  61    |                          -- lifetime `'d` defined here
  62 ...
  63 LL |     <Ty<'static>>::trait_method::<Ty<'d>>;
  64    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'d` must outlive `'static`
  65
  66 error: lifetime may not live long enough
  67   --> $DIR/normalization-2.rs:65:5
  68    |
  69 LL | fn test_path<'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h>() {
  70    |                              -- lifetime `'e` defined here
  71 ...
  72 LL |     <Ty<'e>>::CONST;
  73    |     ^^^^^^^^^^^^^^^ requires that `'e` must outlive `'static`
  74
  75 error: lifetime may not live long enough
  76   --> $DIR/normalization-2.rs:67:5
  77    |
  78 LL | fn test_path<'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h>() {
  79    |                                  -- lifetime `'f` defined here
  80 ...
  81 LL |     <Ty<'f>>::TRAIT_CONST;
  82    |     ^^^^^^^^^^^^^^^^^^^^^ requires that `'f` must outlive `'static`
  83
  84 error: lifetime may not live long enough
  85   --> $DIR/normalization-2.rs:75:5
  86    |
  87 LL | fn test_path<'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h>() {
  88    |                                      -- lifetime `'g` defined here
  89 ...
  90 LL |     MyTy::Unit::<Ty<'g>>;
  91    |     ^^^^^^^^^^^^^^^^^^^^ requires that `'g` must outlive `'static`
  92
  93 error: lifetime may not live long enough
  94   --> $DIR/normalization-2.rs:77:5
  95    |
  96 LL | fn test_path<'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h>() {
  97    |                                          -- lifetime `'h` defined here
  98 ...
  99 LL |     MyTy::<Ty<'h>>::Unit;
 100    |     ^^^^^^^^^^^^^^^^^^^^ requires that `'h` must outlive `'static`
 101
 102 help: the following changes may resolve your lifetime errors
 103    |
 104    = help: replace `'a` with `'static`
 105    = help: replace `'b` with `'static`
 106    = help: replace `'c` with `'static`
 107    = help: replace `'d` with `'static`
 108    = help: replace `'e` with `'static`
 109    = help: replace `'f` with `'static`
 110    = help: replace `'g` with `'static`
 111    = help: replace `'h` with `'static`
 112
 113 error: lifetime may not live long enough
 114   --> $DIR/normalization-2.rs:82:5
 115    |
 116 LL | fn test_call<'a, 'b, 'c>() {
 117    |              -- lifetime `'a` defined here
 118 LL |     <Ty<'a>>::method::<Ty<'static>>();
 119    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'a` must outlive `'static`
 120
 121 error: lifetime may not live long enough
 122   --> $DIR/normalization-2.rs:84:5
 123    |
 124 LL | fn test_call<'a, 'b, 'c>() {
 125    |                  -- lifetime `'b` defined here
 126 ...
 127 LL |     <Ty<'static>>::method::<Ty<'b>>();
 128    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'b` must outlive `'static`
 129
 130 help: the following changes may resolve your lifetime errors
 131    |
 132    = help: replace `'a` with `'static`
 133    = help: replace `'b` with `'static`
 134
 135 error: lifetime may not live long enough
 136   --> $DIR/normalization-2.rs:89:5
 137    |
 138 LL | fn test_variants<'a, 'b, 'c>() {
 139    |                  -- lifetime `'a` defined here
 140 LL |     <Ty<'a>>::Struct {};
 141    |     ^^^^^^^^^^^^^^^^^^^ requires that `'a` must outlive `'static`
 142
 143 error: lifetime may not live long enough
 144   --> $DIR/normalization-2.rs:91:5
 145    |
 146 LL | fn test_variants<'a, 'b, 'c>() {
 147    |                      -- lifetime `'b` defined here
 148 ...
 149 LL |     <Ty<'b>>::Tuple();
 150    |     ^^^^^^^^^^^^^^^ requires that `'b` must outlive `'static`
 151
 152 error: lifetime may not live long enough
 153   --> $DIR/normalization-2.rs:93:5
 154    |
 155 LL | fn test_variants<'a, 'b, 'c>() {
 156    |                          -- lifetime `'c` defined here
 157 ...
 158 LL |     <Ty<'c>>::Unit;
 159    |     ^^^^^^^^^^^^^^ requires that `'c` must outlive `'static`
 160
 161 help: the following changes may resolve your lifetime errors
 162    |
 163    = help: replace `'a` with `'static`
 164    = help: replace `'b` with `'static`
 165    = help: replace `'c` with `'static`
 166
 167 error: lifetime may not live long enough
 168   --> $DIR/normalization-2.rs:98:7
 169    |
 170 LL | fn test_method_call<'a, 'b>(x: MyTy<()>) {
 171    |                     -- lifetime `'a` defined here
 172 LL |     x.method2::<Ty<'a>>();
 173    |       ^^^^^^^ requires that `'a` must outlive `'static`
 174
 175 error: lifetime may not live long enough
 176   --> $DIR/normalization-2.rs:100:7
 177    |
 178 LL | fn test_method_call<'a, 'b>(x: MyTy<()>) {
 179    |                         -- lifetime `'b` defined here
 180 ...
 181 LL |     x.trait_method::<Ty<'b>>();
 182    |       ^^^^^^^^^^^^ requires that `'b` must outlive `'static`
 183
 184 help: the following changes may resolve your lifetime errors
 185    |
 186    = help: replace `'a` with `'static`
 187    = help: replace `'b` with `'static`
 188
 189 error: lifetime may not live long enough
 190   --> $DIR/normalization-2.rs:117:5
 191    |
 192 LL | fn test_struct_path<'a, 'b, 'c, 'd>() {
 193    |                     -- lifetime `'a` defined here
 194 ...
 195 LL |     MyTy::<Ty<'a>>::Struct {}; // without SelfTy
 196    |     ^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'a` must outlive `'static`
 197
 198 error: lifetime may not live long enough
 199   --> $DIR/normalization-2.rs:119:5
 200    |
 201 LL | fn test_struct_path<'a, 'b, 'c, 'd>() {
 202    |                         -- lifetime `'b` defined here
 203 ...
 204 LL |     <Ty<'b> as Project>::Enum::Struct {}; // with SelfTy
 205    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'b` must outlive `'static`
 206
 207 error: lifetime may not live long enough
 208   --> $DIR/normalization-2.rs:123:5
 209    |
 210 LL | fn test_struct_path<'a, 'b, 'c, 'd>() {
 211    |                             -- lifetime `'c` defined here
 212 ...
 213 LL |     Struct::<Ty<'c>> { x: None, }; // without SelfTy
 214    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'c` must outlive `'static`
 215
 216 error: lifetime may not live long enough
 217   --> $DIR/normalization-2.rs:125:5
 218    |
 219 LL | fn test_struct_path<'a, 'b, 'c, 'd>() {
 220    |                                 -- lifetime `'d` defined here
 221 ...
 222 LL |     <Ty<'d> as Project>::Struct { x: None, }; // with SelfTy
 223    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ requires that `'d` must outlive `'static`
 224
 225 help: the following changes may resolve your lifetime errors
 226    |
 227    = help: replace `'a` with `'static`
 228    = help: replace `'b` with `'static`
 229    = help: replace `'c` with `'static`
 230    = help: replace `'d` with `'static`
 231
 232 error: lifetime may not live long enough
 233   --> $DIR/normalization-2.rs:132:9
 234    |
 235 LL | fn test_pattern<'a, 'b, 'c, 'd, 'e, 'f>() {
 236    |                 -- lifetime `'a` defined here
 237 ...
 238 LL |         Struct::<Ty<'a>> {..} => {},
 239    |         ^^^^^^^^^^^^^^^^^^^^^ requires that `'a` must outlive `'static`
 240
 241 error: lifetime may not live long enough
 242   --> $DIR/normalization-2.rs:134:9
 243    |
 244 LL | fn test_pattern<'a, 'b, 'c, 'd, 'e, 'f>() {
 245    |                     -- lifetime `'b` defined here
 246 ...
 247 LL |         Tuple::<Ty<'b>> (..) => {},
 248    |         ^^^^^^^^^^^^^^^^^^^^ requires that `'b` must outlive `'static`
 249
 250 error: lifetime may not live long enough
 251   --> $DIR/normalization-2.rs:136:9
 252    |
 253 LL | fn test_pattern<'a, 'b, 'c, 'd, 'e, 'f>() {
 254    |                         -- lifetime `'c` defined here
 255 ...
 256 LL |         Unit::<Ty<'c>> => {},
 257    |         ^^^^^^^^^^^^^^ requires that `'c` must outlive `'static`
 258
 259 error: lifetime may not live long enough
 260   --> $DIR/normalization-2.rs:141:9
 261    |
 262 LL | fn test_pattern<'a, 'b, 'c, 'd, 'e, 'f>() {
 263    |                             -- lifetime `'d` defined here
 264 ...
 265 LL |         <Ty<'d>>::Struct {..} => {},
 266    |         ^^^^^^^^^^^^^^^^^^^^^ requires that `'d` must outlive `'static`
 267
 268 error: lifetime may not live long enough
 269   --> $DIR/normalization-2.rs:143:9
 270    |
 271 LL | fn test_pattern<'a, 'b, 'c, 'd, 'e, 'f>() {
 272    |                                 -- lifetime `'e` defined here
 273 ...
 274 LL |         <Ty<'e>>::Tuple (..) => {},
 275    |         ^^^^^^^^^^^^^^^^^^^^ requires that `'e` must outlive `'static`
 276
 277 error: lifetime may not live long enough
 278   --> $DIR/normalization-2.rs:145:9
 279    |
 280 LL | fn test_pattern<'a, 'b, 'c, 'd, 'e, 'f>() {
 281    |                                     -- lifetime `'f` defined here
 282 ...
 283 LL |         <Ty<'f>>::Unit => {},
 284    |         ^^^^^^^^^^^^^^ requires that `'f` must outlive `'static`
 285
 286 help: the following changes may resolve your lifetime errors
 287    |
 288    = help: replace `'a` with `'static`
 289    = help: replace `'b` with `'static`
 290    = help: replace `'c` with `'static`
 291    = help: replace `'d` with `'static`
 292    = help: replace `'e` with `'static`
 293    = help: replace `'f` with `'static`
 294
 295 error: aborting due to 28 previous errors
 296