tests/ui/higher-rank-trait-bounds/hrtb-conflate-regions.stderr

   1 error: implementation of `Foo` is not general enough
   2   --> $DIR/hrtb-conflate-regions.rs:27:10
   3    |
   4 LL | fn b() { want_foo2::<SomeStruct>(); }
   5    |          ^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough
   6    |
   7    = note: `SomeStruct` must implement `Foo<(&'0 isize, &'1 isize)>`, for any two lifetimes `'0` and `'1`...
   8    = note: ...but it actually implements `Foo<(&'2 isize, &'2 isize)>`, for some specific lifetime `'2`
   9
  10 error: implementation of `Foo` is not general enough
  11   --> $DIR/hrtb-conflate-regions.rs:27:10
  12    |
  13 LL | fn b() { want_foo2::<SomeStruct>(); }
  14    |          ^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough
  15    |
  16    = note: `SomeStruct` must implement `Foo<(&'0 isize, &'1 isize)>`, for any two lifetimes `'0` and `'1`...
  17    = note: ...but it actually implements `Foo<(&'2 isize, &'2 isize)>`, for some specific lifetime `'2`
  18
  19 error: aborting due to 2 previous errors
  20