WIP PR for issue https://github.com/rust-lang/rust/issues/57362 and part of https://github.com/rust-lang/rust/issues/57642 : error message diffs

57362.diff

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`
+  = note: expected trait `Trait` to be implemented for `fn(&u8)`
+             found trait `Trait` implemented for `for<'r> fn(&'r _)`

57642.diff

error[E0308]: mismatched types
  --> src/lib.rs:31:13
   |
31 |     let x = <fn (&())>::make_g();
   |             ^^^^^^^^^^^^^^^^^^ one type is more general than the other
   |
-   = note: expected type `X`
-              found type `X`
+   = note: expected trait `X` to be implemented for `for<'r> fn(&'r ())`
+              found trait `X` implemented for `fn(&())`              

error[E0308]: mismatched types
  --> src/lib.rs:36:13
   |
36 |     let x = <fn (&())>::make_f();
   |             ^^^^^^^^^^^^^^^^^^ one type is more general than the other
   |
-   = note: expected type `Y`
-              found type `Y`
+   = note: expected trait `Y` to be implemented for `for<'r> fn(&'r ())`
+              found trait `Y` implemented for `fn(_)`

rustc ui test suite - associated-types higher-ranked-projection.bad.stderr.diff

 LL |     foo(());
    |     ^^^ one type is more general than the other
    |
-   = note: expected type `Mirror`
-              found type `Mirror`
+   = note: expected trait `Mirror` to be implemented for `&'a _`
+              found trait `Mirror` implemented for `_`