src/test/ui/hrtb/issue-46989.stderr

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