]>
Commit | Line | Data |
---|---|---|
f035d41b XL |
1 | error: implementation of `Trait` is not general enough |
2 | --> $DIR/hrtb-exists-forall-trait-contravariant.rs:34:5 | |
0731742a XL |
3 | | |
4 | LL | foo::<()>(); | |
f035d41b | 5 | | ^^^^^^^^^ implementation of `Trait` is not general enough |
0731742a | 6 | | |
f035d41b | 7 | = note: `()` must implement `Trait<for<'b> fn(&'b u32)>` |
6a06907d | 8 | = note: ...but it actually implements `Trait<fn(&'0 u32)>`, for some specific lifetime `'0` |
0731742a XL |
9 | |
10 | error: aborting due to previous error | |
11 |