| error: implementation of `Foo` is not general enough |
| --> $DIR/due-to-where-clause.rs:5:5 |
| | |
| LL | test::<FooS>(&mut 42); |
| | ^^^^^^^^^^^^ doesn't satisfy where-clause |
| ... |
| LL | trait Foo<'a> {} |
| | ---------------- trait `Foo` defined here |
| ... |
| LL | fn test<'a, F>(data: &'a mut u32) where F: for<'b> Foo<'b> {} |
| | ------------------------------------------------------------- due to a where-clause on `test`... |
| | |
| = 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 |
| |
