src/test/ui/rfc-2093-infer-outlives/regions-enum-not-wf.stderr

   1 error[E0309]: the parameter type `T` may not live long enough
   2   --> $DIR/regions-enum-not-wf.rs:18:18
   3    |
   4 LL | enum Ref1<'a, T> {
   5    |               - help: consider adding an explicit lifetime bound `T: 'a`...
   6 LL |     Ref1Variant1(RequireOutlives<'a, T>)
   7    |                  ^^^^^^^^^^^^^^^^^^^^^^
   8    |
   9 note: ...so that the type `T` will meet its required lifetime bounds
  10   --> $DIR/regions-enum-not-wf.rs:18:18
  11    |
  12 LL |     Ref1Variant1(RequireOutlives<'a, T>)
  13    |                  ^^^^^^^^^^^^^^^^^^^^^^
  14
  15 error[E0309]: the parameter type `T` may not live long enough
  16   --> $DIR/regions-enum-not-wf.rs:23:25
  17    |
  18 LL | enum Ref2<'a, T> {
  19    |               - help: consider adding an explicit lifetime bound `T: 'a`...
  20 LL |     Ref2Variant1,
  21 LL |     Ref2Variant2(isize, RequireOutlives<'a, T>),
  22    |                         ^^^^^^^^^^^^^^^^^^^^^^
  23    |
  24 note: ...so that the type `T` will meet its required lifetime bounds
  25   --> $DIR/regions-enum-not-wf.rs:23:25
  26    |
  27 LL |     Ref2Variant2(isize, RequireOutlives<'a, T>),
  28    |                         ^^^^^^^^^^^^^^^^^^^^^^
  29
  30 error[E0309]: the parameter type `T` may not live long enough
  31   --> $DIR/regions-enum-not-wf.rs:35:1
  32    |
  33 LL |   enum RefDouble<'a, 'b, T> {
  34    |   ^                      - help: consider adding an explicit lifetime bound `T: 'b`...
  35    |  _|
  36    | |
  37 LL | |     RefDoubleVariant1(&'a RequireOutlives<'b, T>)
  38 LL | |
  39 LL | | }
  40    | |_^
  41    |
  42 note: ...so that the type `T` will meet its required lifetime bounds
  43   --> $DIR/regions-enum-not-wf.rs:35:1
  44    |
  45 LL | / enum RefDouble<'a, 'b, T> {
  46 LL | |     RefDoubleVariant1(&'a RequireOutlives<'b, T>)
  47 LL | |
  48 LL | | }
  49    | |_^
  50
  51 error[E0309]: the parameter type `T` may not live long enough
  52   --> $DIR/regions-enum-not-wf.rs:36:23
  53    |
  54 LL | enum RefDouble<'a, 'b, T> {
  55    |                        - help: consider adding an explicit lifetime bound `T: 'b`...
  56 LL |     RefDoubleVariant1(&'a RequireOutlives<'b, T>)
  57    |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^
  58    |
  59 note: ...so that the type `T` will meet its required lifetime bounds
  60   --> $DIR/regions-enum-not-wf.rs:36:23
  61    |
  62 LL |     RefDoubleVariant1(&'a RequireOutlives<'b, T>)
  63    |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^
  64
  65 error: aborting due to 4 previous errors
  66
  67 For more information about this error, try `rustc --explain E0309`.