57362.txt

before:
error[E0308]: mismatched types
   --> src/main.rs:13:7
    |
 13 |     a.f();
    |       ^ one type is more general than the other
    |
    = note: expected type `Trait`
               found type `Trait`

---------------

after:
error: implementation of `Trait` is not general enough
   --> src/main.rs:13:7
    |
 13 |     a.f();
    |       ^
    |
    = note: `fn(&u8)` must implement `Trait`
    = note: but `for<'r> fn(&'r _)` only implements `Trait`