src/test/ui/regions/regions-normalize-in-where-clause-list.stderr

   1 error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements
   2   --> $DIR/regions-normalize-in-where-clause-list.rs:22:1
   3    |
   4 LL | / fn bar<'a, 'b>()
   5 LL | |
   6 LL | |
   7 LL | |     where <() as Project<'a, 'b>>::Item : Eq
   8 LL | | {
   9 LL | | }
  10    | |_^
  11    |
  12 note: first, the lifetime cannot outlive the lifetime `'a` as defined on the function body at 22:8...
  13   --> $DIR/regions-normalize-in-where-clause-list.rs:22:8
  14    |
  15 LL | fn bar<'a, 'b>()
  16    |        ^^
  17 note: ...but the lifetime must also be valid for the lifetime `'b` as defined on the function body at 22:12...
  18   --> $DIR/regions-normalize-in-where-clause-list.rs:22:12
  19    |
  20 LL | fn bar<'a, 'b>()
  21    |            ^^
  22 note: ...so that the types are compatible
  23   --> $DIR/regions-normalize-in-where-clause-list.rs:22:1
  24    |
  25 LL | / fn bar<'a, 'b>()
  26 LL | |
  27 LL | |
  28 LL | |     where <() as Project<'a, 'b>>::Item : Eq
  29 LL | | {
  30 LL | | }
  31    | |_^
  32    = note: expected `Project<'a, 'b>`
  33               found `Project<'_, '_>`
  34
  35 error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements
  36   --> $DIR/regions-normalize-in-where-clause-list.rs:22:1
  37    |
  38 LL | / fn bar<'a, 'b>()
  39 LL | |
  40 LL | |
  41 LL | |     where <() as Project<'a, 'b>>::Item : Eq
  42 LL | | {
  43 LL | | }
  44    | |_^
  45    |
  46 note: first, the lifetime cannot outlive the lifetime `'a` as defined on the function body at 22:8...
  47   --> $DIR/regions-normalize-in-where-clause-list.rs:22:8
  48    |
  49 LL | fn bar<'a, 'b>()
  50    |        ^^
  51 note: ...but the lifetime must also be valid for the lifetime `'b` as defined on the function body at 22:12...
  52   --> $DIR/regions-normalize-in-where-clause-list.rs:22:12
  53    |
  54 LL | fn bar<'a, 'b>()
  55    |            ^^
  56 note: ...so that the types are compatible
  57   --> $DIR/regions-normalize-in-where-clause-list.rs:22:1
  58    |
  59 LL | / fn bar<'a, 'b>()
  60 LL | |
  61 LL | |
  62 LL | |     where <() as Project<'a, 'b>>::Item : Eq
  63 LL | | {
  64 LL | | }
  65    | |_^
  66    = note: expected `Project<'a, 'b>`
  67               found `Project<'_, '_>`
  68
  69 error[E0495]: cannot infer an appropriate lifetime for lifetime parameter `'a` due to conflicting requirements
  70   --> $DIR/regions-normalize-in-where-clause-list.rs:22:4
  71    |
  72 LL | fn bar<'a, 'b>()
  73    |    ^^^
  74    |
  75 note: first, the lifetime cannot outlive the lifetime `'a` as defined on the function body at 22:8...
  76   --> $DIR/regions-normalize-in-where-clause-list.rs:22:8
  77    |
  78 LL | fn bar<'a, 'b>()
  79    |        ^^
  80 note: ...but the lifetime must also be valid for the lifetime `'b` as defined on the function body at 22:12...
  81   --> $DIR/regions-normalize-in-where-clause-list.rs:22:12
  82    |
  83 LL | fn bar<'a, 'b>()
  84    |            ^^
  85 note: ...so that the types are compatible
  86   --> $DIR/regions-normalize-in-where-clause-list.rs:22:4
  87    |
  88 LL | fn bar<'a, 'b>()
  89    |    ^^^
  90    = note: expected `Project<'a, 'b>`
  91               found `Project<'_, '_>`
  92
  93 error: aborting due to 3 previous errors
  94
  95 For more information about this error, try `rustc --explain E0495`.