tests/ui/higher-ranked/trait-bounds/issue-59311.stderr

error: implementation of `Trait` is not general enough
  --> $DIR/issue-59311.rs:17:5
   |
LL |     v.t(|| {});
   |     ^^^^^^^^^^ implementation of `Trait` is not general enough
   |
   = note: `Trait` would have to be implemented for the type `&'a V`
   = note: ...but `Trait` is actually implemented for the type `&'0 V`, for some specific lifetime `'0`

error: implementation of `Trait` is not general enough
  --> $DIR/issue-59311.rs:17:5
   |
LL |     v.t(|| {});
   |     ^^^^^^^^^^ implementation of `Trait` is not general enough
   |
   = note: `Trait` would have to be implemented for the type `&'a V`
   = note: ...but `Trait` is actually implemented for the type `&'0 V`, for some specific lifetime `'0`
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error: higher-ranked lifetime error
  --> $DIR/issue-59311.rs:17:9
   |
LL |     v.t(|| {});
   |         ^^^^^
   |
   = note: could not prove `for<'a> &'a V: 'b`

error: aborting due to 3 previous errors