src/test/ui/generator/auto-trait-regions.stderr

   1 error: implementation of `Foo` is not general enough
   2   --> $DIR/auto-trait-regions.rs:31:5
   3    |
   4 LL |     assert_foo(gen);
   5    |     ^^^^^^^^^^ implementation of `Foo` is not general enough
   6    |
   7    = note: `&'0 OnlyFooIfStaticRef` must implement `Foo`, for any lifetime `'0`...
   8    = note: ...but `Foo` is actually implemented for the type `&'static OnlyFooIfStaticRef`
   9
  10 error: implementation of `Foo` is not general enough
  11   --> $DIR/auto-trait-regions.rs:31:5
  12    |
  13 LL |     assert_foo(gen);
  14    |     ^^^^^^^^^^ implementation of `Foo` is not general enough
  15    |
  16    = note: `&'0 OnlyFooIfStaticRef` must implement `Foo`, for any lifetime `'0`...
  17    = note: ...but `Foo` is actually implemented for the type `&'static OnlyFooIfStaticRef`
  18
  19 error: implementation of `Foo` is not general enough
  20   --> $DIR/auto-trait-regions.rs:50:5
  21    |
  22 LL |     assert_foo(gen);
  23    |     ^^^^^^^^^^ implementation of `Foo` is not general enough
  24    |
  25    = note: `Foo` would have to be implemented for the type `A<'0, '1>`, for any two lifetimes `'0` and `'1`...
  26    = note: ...but `Foo` is actually implemented for the type `A<'_, '2>`, for some specific lifetime `'2`
  27
  28 error: implementation of `Foo` is not general enough
  29   --> $DIR/auto-trait-regions.rs:50:5
  30    |
  31 LL |     assert_foo(gen);
  32    |     ^^^^^^^^^^ implementation of `Foo` is not general enough
  33    |
  34    = note: `Foo` would have to be implemented for the type `A<'0, '1>`, for any two lifetimes `'0` and `'1`...
  35    = note: ...but `Foo` is actually implemented for the type `A<'_, '2>`, for some specific lifetime `'2`
  36
  37 error: aborting due to 4 previous errors
  38