src/test/ui/hrtb/hrtb-just-for-static.stderr

   1 error: implementation of `Foo` is not general enough
   2   --> $DIR/hrtb-just-for-static.rs:24:5
   3    |
   4 LL |     want_hrtb::<StaticInt>()
   5    |     ^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough
   6    |
   7    = note: `StaticInt` must implement `Foo<&'0 isize>`, for any lifetime `'0`...
   8    = note: ...but it actually implements `Foo<&'static isize>`
   9
  10 error: implementation of `Foo` is not general enough
  11   --> $DIR/hrtb-just-for-static.rs:30:5
  12    |
  13 LL |     want_hrtb::<&'a u32>()
  14    |     ^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough
  15    |
  16    = note: `Foo<&'0 isize>` would have to be implemented for the type `&'a u32`, for any lifetime `'0`...
  17    = note: ...but `Foo<&'1 isize>` is actually implemented for the type `&'1 u32`, for some specific lifetime `'1`
  18
  19 error: aborting due to 2 previous errors
  20