src/test/ui/higher-rank-trait-bounds/due-to-where-clause.stderr


1
2
3
4
5
6
7
8
9
10
11

error: implementation of `Foo` is not general enough
  --> $DIR/due-to-where-clause.rs:2:5
   |
LL |     test::<FooS>(&mut 42);
   |     ^^^^^^^^^^^^ implementation of `Foo` is not general enough
   |
   = note: `FooS<'_>` must implement `Foo<'0>`, for any lifetime `'0`...
   = note: ...but `FooS<'_>` actually implements `Foo<'1>`, for some specific lifetime `'1`

error: aborting due to previous error