File tree Expand file tree Collapse file tree 1 file changed +2
-5
lines changed Expand file tree Collapse file tree 1 file changed +2
-5
lines changed Original file line number Diff line number Diff line change @@ -2,15 +2,12 @@ error: implementation of `Foo` is not general enough
22 --> $DIR/due-to-where-clause.rs:5:5
33 |
44LL | test::<FooS>(&mut 42);
5- | ^^^^^^^^^^^^ doesn't satisfy where-clause
5+ | ^^^^^^^^^^^^ implementation of `Foo` is not general enough
66...
77LL | trait Foo<'a> {}
88 | ---------------- trait `Foo` defined here
9- ...
10- LL | fn test<'a, F>(data: &'a mut u32) where F: for<'b> Foo<'b> {}
11- | ------------------------------------------------------------- due to a where-clause on `test`...
129 |
13- = note: ... `FooS<'_>` must implement `Foo<'0>`, for any lifetime `'0`...
10+ = note: `FooS<'_>` must implement `Foo<'0>`, for any lifetime `'0`...
1411 = note: ...but `FooS<'_>` actually implements `Foo<'1>`, for some specific lifetime `'1`
1512
1613error: aborting due to previous error
You can’t perform that action at this time.
0 commit comments