src/test/ui/issues/issue-57362-1.stderr

   1 error: implementation of `Trait` is not general enough
   2   --> $DIR/issue-57362-1.rs:20:7
   3    |
   4 LL | / trait Trait {
   5 LL | |     fn f(self);
   6 LL | | }
   7    | |_- trait `Trait` defined here
   8 ...
   9 LL |       a.f();
  10    |         ^ implementation of `Trait` is not general enough
  11    |
  12    = note: `Trait` would have to be implemented for the type `fn(&'0 u8)`, for some specific lifetime `'0`...
  13    = note: ...but `Trait` is actually implemented for the type `for<'r> fn(&'r u8)`
  14
  15 error: aborting due to previous error
  16