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