File tree 1 file changed +2
-5
lines changed
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
2
2
--> $DIR/due-to-where-clause.rs:5:5
3
3
|
4
4
LL | test::<FooS>(&mut 42);
5
- | ^^^^^^^^^^^^ doesn't satisfy where-clause
5
+ | ^^^^^^^^^^^^ implementation of `Foo` is not general enough
6
6
...
7
7
LL | trait Foo<'a> {}
8
8
| ---------------- 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`...
12
9
|
13
- = note: ... `FooS<'_>` must implement `Foo<'0>`, for any lifetime `'0`...
10
+ = note: `FooS<'_>` must implement `Foo<'0>`, for any lifetime `'0`...
14
11
= note: ...but `FooS<'_>` actually implements `Foo<'1>`, for some specific lifetime `'1`
15
12
16
13
error: aborting due to previous error
You can’t perform that action at this time.
0 commit comments