nice region error.txt

error: implementation of `X` is not general enough
  --> $DIR/issue-57362-2.rs:22:13
   |
8  | / trait X {
9  | |     type G;
10 | |     fn make_g() -> Self::G;
   | |     ----------------------- due to a where-clause on `X::make_g`...
11 | | }
   | |_- trait `X` defined here
...
22 |       let x = <fn (&())>::make_g();
   |               ^^^^^^^^^^^^^^^^^^ doesn't satisfy where-clause
   |
   = note: ...`X` would have to be implemented for the type `for<'r> fn(&'r ())`
   = note: ...but `X` is actually implemented for the type `fn(&'0 ())`, for some specific lifetime `'0`

error: aborting due to 2 previous errors