src/test/ui/issues/issue-54302-cases.stderr

   1 error: implementation of `Foo` is not general enough
   2   --> $DIR/issue-54302-cases.rs:63:5
   3    |
   4 LL |     <u32 as RefFoo<u32>>::ref_foo(a)
   5    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough
   6    |
   7    = note: `Foo<'static, u32>` would have to be implemented for the type `&'0 u32`, for any lifetime `'0`...
   8    = note: ...but `Foo<'_, u32>` is actually implemented for the type `&'1 u32`, for some specific lifetime `'1`
   9
  10 error: implementation of `Foo` is not general enough
  11   --> $DIR/issue-54302-cases.rs:69:5
  12    |
  13 LL |     <i32 as RefFoo<i32>>::ref_foo(a)
  14    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough
  15    |
  16    = note: `Foo<'static, i32>` would have to be implemented for the type `&'0 i32`, for any lifetime `'0`...
  17    = note: ...but `Foo<'_, i32>` is actually implemented for the type `&'1 i32`, for some specific lifetime `'1`
  18
  19 error: implementation of `Foo` is not general enough
  20   --> $DIR/issue-54302-cases.rs:75:5
  21    |
  22 LL |     <u64 as RefFoo<u64>>::ref_foo(a)
  23    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough
  24    |
  25    = note: `Foo<'static, u64>` would have to be implemented for the type `&'0 u64`, for any lifetime `'0`...
  26    = note: ...but `Foo<'_, u64>` is actually implemented for the type `&'1 u64`, for some specific lifetime `'1`
  27
  28 error: implementation of `Foo` is not general enough
  29   --> $DIR/issue-54302-cases.rs:81:5
  30    |
  31 LL |     <i64 as RefFoo<i64>>::ref_foo(a)
  32    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Foo` is not general enough
  33    |
  34    = note: `Foo<'static, i64>` would have to be implemented for the type `&'0 i64`, for any lifetime `'0`...
  35    = note: ...but `Foo<'_, i64>` is actually implemented for the type `&'1 i64`, for some specific lifetime `'1`
  36
  37 error: aborting due to 4 previous errors
  38