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